| 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 |