| 1 | FIGS_GIF = \ |
| 2 | sizer00.gif sizer01.gif sizer02.gif sizer03.gif sizer04.gif \ |
| 3 | sizer05.gif sizer06.gif sizer07.gif sizer08.gif sizer09.gif \ |
| 4 | sizer10.gif sizer11.gif |
| 5 | |
| 6 | FIGS_EPS = $(FIGS_GIF:.gif=.eps) |
| 7 | LATEX = hugelatex |
| 8 | MAKEINDEX = makeindex |
| 9 | DVIPS = dvips |
| 10 | |
| 11 | all: manual.ps |
| 12 | |
| 13 | manual.ps: manual.dvi |
| 14 | $(DVIPS) $< -o $@ |
| 15 | |
| 16 | manual.dvi: manual.tex $(FIGS_EPS) |
| 17 | $(LATEX) manual.tex |
| 18 | $(MAKEINDEX) -s manual.ist manual |
| 19 | $(LATEX) manual.tex |
| 20 | $(MAKEINDEX) -s manual.ist manual |
| 21 | $(LATEX) manual.tex |
| 22 | |
| 23 | |
| 24 | $(FIGS_EPS): %.eps : %.gif |
| 25 | giftopnm $< | pnmtops -noturn > $@ |
| 26 | |
| 27 | clean: |
| 28 | -rm -f *.dvi *.aux *.idx *.ilg *.ind *.log *.toc $(FIGS_EPS) *~ |