doc/Makefile

   1 all: manual.ps manual/index.html
   2
   3 clean:
   4         rm *.aux *.dvi *.ps *.log
   5
   6 manual.ps: manual.dvi
   7         dvips -o manual.ps manual.dvi
   8
   9 manual.dvi: manual.tex
  10         latex manual.tex
  11
  12 manual/index.html: manual.tex
  13         latex2html -local_icons manual.tex