1 # This is the developer's makefile, not the user's makefile.
2 # Don't use it unless you know exactly what you do!
8 # Some important programs:
14 MAKEINFO = LANGUAGE= makeinfo
21 documentation : $(PACKAGE).dvi $(PACKAGE).ps $(PACKAGE).info $(PACKAGE).html $(PACKAGE)_toc.html
23 $(PACKAGE).dvi : $(PACKAGE).texi
24 $(TEXI2DVI) $(PACKAGE).texi
25 rm -f *.aux *.toc *.cp *.fn *.ky *.pg *.tp *.vr *.my *.log
27 $(PACKAGE).ps : $(PACKAGE).dvi
28 $(DVIPS) -o $(PACKAGE).ps $(PACKAGE).dvi
30 $(PACKAGE).info : $(PACKAGE).texi
31 $(MAKEINFO) --no-split $(PACKAGE).texi
33 $(PACKAGE).html : $(PACKAGE).texi
34 $(TEXI2HTML) -expandinfo -number -monolithic $(PACKAGE).texi
36 $(PACKAGE)_toc.html : $(PACKAGE).texi
37 $(TEXI2HTML) -expandinfo -number -split_chapter $(PACKAGE).texi
39 $(PACKAGE).texi : $(PACKAGE).tex
41 cp $(PACKAGE).tex $(PACKAGE).texi
42 $(EMACS) -batch $(PACKAGE).texi -load addnodes.el -f save-buffer
43 mv $(PACKAGE).texi $(PACKAGE).texi~
44 sed -e 's,@detailmenu,,g' -e 's,@end detailmenu,,g' < $(PACKAGE).texi~ > $(PACKAGE).texi