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@
12 datarootdir = @datarootdir@
16 htmldir = $(datadir)/html
17 dvidir = $(datadir)/dvi
20 # Programs used by "make":
25 # Programs used by "make" if you have changed the documentation files:
29 MAKEINFO = LANGUAGE= makeinfo
33 # Programs used by "make install":
35 INSTALL_PROGRAM = @INSTALL_PROGRAM@
36 INSTALL_DATA = @INSTALL_DATA@
38 #### End of system configuration section. ####
46 all : info dvi ps html
49 info : $(srcdir)/$(PACKAGE).info
51 $(srcdir)/$(PACKAGE).info : $(srcdir)/$(PACKAGE).texi
52 cd $(srcdir) && $(MAKEINFO) --no-split $(PACKAGE).texi
54 $(srcdir)/$(PACKAGE).texi : $(srcdir)/$(PACKAGE).tex
56 $(EMACS) -batch $@ -load addnodes.el -f save-buffer
58 sed -e 's,@detailmenu,,g' -e 's,@end detailmenu,,g' < $@~ > $@
62 dvi : $(srcdir)/$(PACKAGE).dvi
64 $(srcdir)/$(PACKAGE).dvi : $(srcdir)/$(PACKAGE).texi
65 cd $(srcdir) && $(TEXI2DVI) $(PACKAGE).texi
68 ps : $(srcdir)/$(PACKAGE).ps
70 $(srcdir)/$(PACKAGE).ps : $(srcdir)/$(PACKAGE).dvi
74 html : $(PACKAGE).html $(PACKAGE)_toc.html
76 $(PACKAGE).html : $(srcdir)/$(PACKAGE).texi
77 cd $(srcdir) && $(TEXI2HTML) -expandinfo -number -monolithic $(PACKAGE).texi
79 $(PACKAGE)_toc.html : $(srcdir)/$(PACKAGE).texi
80 cd $(srcdir) && $(TEXI2HTML) -expandinfo -number -split_chapter $(PACKAGE).texi
83 install : all installdirs force
84 $(INSTALL_DATA) $(srcdir)/$(PACKAGE).info $(DESTDIR)$(infodir)/$(PACKAGE).info
85 @if (install-info --version && \
86 install-info --version 2>&1 | sed 1q | fgrep -i -v debian) >/dev/null 2>&1; then \
87 echo " install-info --info-dir=$(DESTDIR)$(infodir) $(DESTDIR)$(infodir)/$(PACKAGE).info";\
88 install-info --info-dir=$(DESTDIR)$(infodir) $(DESTDIR)$(infodir)/$(PACKAGE).info || :;\
90 $(INSTALL_DATA) $(srcdir)/$(PACKAGE)_*.html $(DESTDIR)$(htmldir)
91 $(INSTALL_DATA) $(srcdir)/$(PACKAGE).dvi $(DESTDIR)$(dvidir)/$(PACKAGE).dvi
94 $(MKDIR) $(DESTDIR)$(datadir)
95 $(MKDIR) $(DESTDIR)$(infodir)
96 $(MKDIR) $(DESTDIR)$(htmldir)
97 $(MKDIR) $(DESTDIR)$(dvidir)
100 @if (install-info --version && \
101 install-info --version 2>&1 | sed 1q | fgrep -i -v debian) >/dev/null 2>&1; then \
102 echo " install-info --info-dir=$(DESTDIR)$(infodir) --remove $(DESTDIR)$(infodir)/$(PACKAGE).info"; \
103 install-info --info-dir=$(DESTDIR)$(infodir) --remove $(DESTDIR)$(infodir)/$(PACKAGE).info; \
105 $(RM) $(DESTDIR)$(infodir)/$(PACKAGE).info
106 $(RM) $(DESTDIR)$(htmldir)/$(PACKAGE)_*.html
107 $(RM) $(DESTDIR)$(dvidir)/$(PACKAGE).dvi
114 $(RM) *~ *.aux *.toc *.cp *.fn *.ky *.pg *.tp *.vr *.my *.mys *.log core
119 maintainer-clean : distclean
120 $(RM) *.info *.dvi *.ps *.html
121 if [ -f $(PACKAGE).tex ] ; then $(RM) $(PACKAGE).texi ; fi