doc/Makefile.devel

   1 # This is the developer's makefile, not the user's makefile.
   2 # Don't use it unless you know exactly what you do!
   3
   4
   5 PACKAGE = cln
   6
   7
   8 # Some important programs:
   9 SHELL = /bin/sh
  10 MAKE = make
  11
  12 TEXI2DVI = texi2dvi
  13 DVIPS = dvips -D600
  14 MAKEINFO = LANGUAGE= makeinfo
  15 TEXI2HTML = texi2html
  16 EMACS = emacs
  17
  18
  19 all : documentation
  20
  21 documentation : $(PACKAGE).dvi $(PACKAGE).ps $(PACKAGE).info $(PACKAGE).html $(PACKAGE)_toc.html
  22
  23 $(PACKAGE).dvi : $(PACKAGE).texi
  24         $(TEXI2DVI) $(PACKAGE).texi
  25         rm -f *.aux *.toc *.cp *.fn *.ky *.pg *.tp *.vr *.my *.log
  26
  27 $(PACKAGE).ps : $(PACKAGE).dvi
  28         $(DVIPS) -o $(PACKAGE).ps $(PACKAGE).dvi
  29
  30 $(PACKAGE).info : $(PACKAGE).texi
  31         $(MAKEINFO) --no-split $(PACKAGE).texi
  32
  33 $(PACKAGE).html : $(PACKAGE).texi
  34         $(TEXI2HTML) -expandinfo -number -monolithic $(PACKAGE).texi
  35
  36 $(PACKAGE)_toc.html : $(PACKAGE).texi
  37         $(TEXI2HTML) -expandinfo -number -split_chapter $(PACKAGE).texi
  38
  39 $(PACKAGE).texi : $(PACKAGE).tex
  40         rm -f $(PACKAGE).texi
  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
  45         rm -f *~