diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-09-13 17:24:17 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-09-13 17:24:17 +0000 |
| commit | d34a65dc0b78d685443abbe599a1b6b5277bf4d8 (patch) | |
| tree | 2df9f705690907b6746534bfe167b38319f5552a /doc/Makefile | |
| parent | f21bfc51f73bb984403b8aa5d3b263530a4bf14b (diff) | |
Fixed rearrange target.
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/doc/Makefile b/doc/Makefile index 3ef0feb0..9ebb6c3d 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -51,11 +51,11 @@ TMPFILE=pgt if `which $(DVISELECT) > /dev/null`; then $(MAKE) rearrange; fi rearrange: - $(DVISELECT) -i $*.dvi -o $*.tmp1 $(TITLERANGE) - $(DVISELECT) -i $*.dvi -o $*.tmp2 $(MAINRANGE) - $(DVISELECT) -i $*.dvi -o $*.tmp3 $(TOC) - $(DVICONCAT) -o $*.dvi $*.tmp1 $*.tmp3 $*.tmp2 - rm -f $*.tmp1 $*.tmp2 $*.tmp3 + $(DVISELECT) -i $(DOCNAME).dvi -o $(DOCNAME).tmp1 $(TITLERANGE) + $(DVISELECT) -i $(DOCNAME).dvi -o $(DOCNAME).tmp2 $(MAINRANGE) + $(DVISELECT) -i $(DOCNAME).dvi -o $(DOCNAME).tmp3 $(TOC) + $(DVICONCAT) -o $(DOCNAME).dvi $(DOCNAME).tmp1 $(DOCNAME).tmp3 $(DOCNAME).tmp2 + rm -f $(DOCNAME).tmp1 $(DOCNAME).tmp2 $(DOCNAME).tmp3 .tiff.eps: tiff2ps -e -w 3.48 -h 5 $*.tiff > $*.eps |