3 #### Start of system configuration section. ####
5 # Directories used by "make":
8 # Directories used by "make install":
10 local_prefix = /usr/local
11 exec_prefix = @exec_prefix@
15 htmldir = $(datadir)/html
16 dvidir = $(datadir)/dvi
19 # Programs used by "make":
23 # Programs used by "make" if you have changed the documentation files:
27 MAKEINFO = LANGUAGE= makeinfo
31 # Programs used by "make install":
33 INSTALL_PROGRAM = @INSTALL_PROGRAM@
34 INSTALL_DATA = @INSTALL_DATA@
36 #### End of system configuration section. ####
44 all : info dvi ps html
47 info : $(srcdir)/$(PACKAGE).info
49 $(srcdir)/$(PACKAGE).info : $(srcdir)/$(PACKAGE).texi
50 cd $(srcdir) && $(MAKEINFO) --no-split $(PACKAGE).texi
52 $(srcdir)/$(PACKAGE).texi : $(srcdir)/$(PACKAGE).tex
54 $(EMACS) -batch $@ -load addnodes.el -f save-buffer
56 sed -e 's,@detailmenu,,g' -e 's,@end detailmenu,,g' < $@~ > $@
60 dvi : $(srcdir)/$(PACKAGE).dvi
62 $(srcdir)/$(PACKAGE).dvi : $(srcdir)/$(PACKAGE).texi
63 cd $(srcdir) && $(TEXI2DVI) $(PACKAGE).texi
66 ps : $(srcdir)/$(PACKAGE).ps
68 $(srcdir)/$(PACKAGE).ps : $(srcdir)/$(PACKAGE).dvi
72 html : $(PACKAGE).html $(PACKAGE)_toc.html
74 $(PACKAGE).html : $(srcdir)/$(PACKAGE).texi
75 cd $(srcdir) && $(TEXI2HTML) -expandinfo -number -monolithic $(PACKAGE).texi
77 $(PACKAGE)_toc.html : $(srcdir)/$(PACKAGE).texi
78 cd $(srcdir) && $(TEXI2HTML) -expandinfo -number -split_chapter $(PACKAGE).texi
81 install : all installdirs force
82 $(INSTALL_DATA) $(srcdir)/$(PACKAGE).info $(DESTDIR)$(infodir)/$(PACKAGE).info
83 $(INSTALL_DATA) $(srcdir)/$(PACKAGE)_*.html $(DESTDIR)$(htmldir)
84 $(INSTALL_DATA) $(srcdir)/$(PACKAGE).dvi $(DESTDIR)$(dvidir)/$(PACKAGE).dvi
87 if [ ! -d $(DESTDIR)$(datadir) ] ; then mkdir $(DESTDIR)$(datadir) ; fi
88 if [ ! -d $(DESTDIR)$(infodir) ] ; then mkdir $(DESTDIR)$(infodir) ; fi
89 if [ ! -d $(DESTDIR)$(htmldir) ] ; then mkdir $(DESTDIR)$(htmldir) ; fi
90 if [ ! -d $(DESTDIR)$(dvidir) ] ; then mkdir $(DESTDIR)$(dvidir) ; fi
93 $(RM) $(DESTDIR)$(infodir)/$(PACKAGE).info
94 $(RM) $(DESTDIR)$(htmldir)/$(PACKAGE)_*.html
95 $(RM) $(DESTDIR)$(dvidir)/$(PACKAGE).dvi
102 $(RM) *~ *.aux *.toc *.cp *.fn *.ky *.pg *.tp *.vr *.my *.mys *.log core
107 maintainer-clean : distclean
108 $(RM) *.info *.dvi *.ps *.html
109 if [ -f $(PACKAGE).tex ] ; then $(RM) $(PACKAGE).texi ; fi