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":
24 # Programs used by "make" if you have changed the documentation files:
28 MAKEINFO = LANGUAGE= makeinfo
32 # Programs used by "make install":
34 INSTALL_PROGRAM = @INSTALL_PROGRAM@
35 INSTALL_DATA = @INSTALL_DATA@
37 #### End of system configuration section. ####
45 all : info dvi ps html
48 info : $(srcdir)/$(PACKAGE).info
50 $(srcdir)/$(PACKAGE).info : $(srcdir)/$(PACKAGE).texi
51 cd $(srcdir) && $(MAKEINFO) --no-split $(PACKAGE).texi
53 $(srcdir)/$(PACKAGE).texi : $(srcdir)/$(PACKAGE).tex
55 $(EMACS) -batch $@ -load addnodes.el -f save-buffer
57 sed -e 's,@detailmenu,,g' -e 's,@end detailmenu,,g' < $@~ > $@
61 dvi : $(srcdir)/$(PACKAGE).dvi
63 $(srcdir)/$(PACKAGE).dvi : $(srcdir)/$(PACKAGE).texi
64 cd $(srcdir) && $(TEXI2DVI) $(PACKAGE).texi
67 ps : $(srcdir)/$(PACKAGE).ps
69 $(srcdir)/$(PACKAGE).ps : $(srcdir)/$(PACKAGE).dvi
73 html : $(PACKAGE).html $(PACKAGE)_toc.html
75 $(PACKAGE).html : $(srcdir)/$(PACKAGE).texi
76 cd $(srcdir) && $(TEXI2HTML) -expandinfo -number -monolithic $(PACKAGE).texi
78 $(PACKAGE)_toc.html : $(srcdir)/$(PACKAGE).texi
79 cd $(srcdir) && $(TEXI2HTML) -expandinfo -number -split_chapter $(PACKAGE).texi
82 install : all installdirs force
83 $(INSTALL_DATA) $(srcdir)/$(PACKAGE).info $(DESTDIR)$(infodir)/$(PACKAGE).info
84 @if (install-info --version && \
85 install-info --version 2>&1 | sed 1q | fgrep -i -v debian) >/dev/null 2>&1; then \
86 echo " install-info --info-dir=$(DESTDIR)$(infodir) $(DESTDIR)$(infodir)/$(PACKAGE).info";\
87 install-info --info-dir=$(DESTDIR)$(infodir) $(DESTDIR)$(infodir)/$(PACKAGE).info || :;\
89 $(INSTALL_DATA) $(srcdir)/$(PACKAGE)_*.html $(DESTDIR)$(htmldir)
90 $(INSTALL_DATA) $(srcdir)/$(PACKAGE).dvi $(DESTDIR)$(dvidir)/$(PACKAGE).dvi
93 $(MKDIR) $(DESTDIR)$(datadir)
94 $(MKDIR) $(DESTDIR)$(infodir)
95 $(MKDIR) $(DESTDIR)$(htmldir)
96 $(MKDIR) $(DESTDIR)$(dvidir)
99 @if (install-info --version && \
100 install-info --version 2>&1 | sed 1q | fgrep -i -v debian) >/dev/null 2>&1; then \
101 echo " install-info --info-dir=$(DESTDIR)$(infodir) --remove $(DESTDIR)$(infodir)/$(PACKAGE).info"; \
102 install-info --info-dir=$(DESTDIR)$(infodir) --remove $(DESTDIR)$(infodir)/$(PACKAGE).info; \
104 $(RM) $(DESTDIR)$(infodir)/$(PACKAGE).info
105 $(RM) $(DESTDIR)$(htmldir)/$(PACKAGE)_*.html
106 $(RM) $(DESTDIR)$(dvidir)/$(PACKAGE).dvi
113 $(RM) *~ *.aux *.toc *.cp *.fn *.ky *.pg *.tp *.vr *.my *.mys *.log core
118 maintainer-clean : distclean
119 $(RM) *.info *.dvi *.ps *.html
120 if [ -f $(PACKAGE).tex ] ; then $(RM) $(PACKAGE).texi ; fi