diff options
Diffstat (limited to 'doc/Makefile')
-rw-r--r-- | doc/Makefile | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/Makefile b/doc/Makefile index 9013b8f1..b23cd564 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -43,10 +43,6 @@ 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: |