diff options
author | Makarius Wenzel <makarius@sketis.net> | 1999-07-24 17:57:50 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 1999-07-24 17:57:50 +0000 |
commit | 1f13390d5d573b657cb95b0c37a575c52463056d (patch) | |
tree | 118caea54adc60d4018d34ace4d3457fda9e97fe /doc/Makefile | |
parent | dc549caf4fbfbb0209d5b97e4179c824b6fa608d (diff) |
please ignore (back to 2.15);
Diffstat (limited to 'doc/Makefile')
-rw-r--r-- | doc/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile index b23cd564..9013b8f1 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -43,6 +43,10 @@ EMACS = xemacs -batch .texi.dvi: $(TEXI2DVI) $< + $(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 .tiff.eps: |