diff options
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: |