diff options
author | Makarius Wenzel <makarius@sketis.net> | 1999-07-24 17:54:30 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 1999-07-24 17:54:30 +0000 |
commit | dc549caf4fbfbb0209d5b97e4179c824b6fa608d (patch) | |
tree | 63efb1368c5c45ed13e4a40c3d7f9f4b42f427b2 /doc/Makefile | |
parent | 4def0b25f80d2ef8e0e1b11fa3bd1bc60b282594 (diff) |
*** empty log message ***
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: |