diff options
| author | Dave Love <fx@gnu.org> | 2000-12-14 14:17:37 +0000 |
|---|---|---|
| committer | Dave Love <fx@gnu.org> | 2000-12-14 14:17:37 +0000 |
| commit | 5080b7ff373b577d4a48b7b6a20c731dc804a03c (patch) | |
| tree | d8b791e0186b8872c454cdf77075f0130075c038 /man/Makefile.in | |
| parent | bedfa29f2fd47514f368b02bdef540e090fec7f8 (diff) | |
| download | emacs-5080b7ff373b577d4a48b7b6a20c731dc804a03c.tar.gz | |
(mostlyclean): Remove gnustmp.*
(gnus.dvi): Change rule to remove @latex stuff.
Diffstat (limited to 'man/Makefile.in')
| -rw-r--r-- | man/Makefile.in | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/man/Makefile.in b/man/Makefile.in index 7290503cefd..e02aa8eaff8 100644 --- a/man/Makefile.in +++ b/man/Makefile.in @@ -141,7 +141,10 @@ forms.dvi: forms.texi ../info/gnus: gnus.texi cd $(srcdir); $(MAKEINFO) gnus.texi gnus.dvi: gnus.texi - $(ENVADD) $(TEXI2DVI) ${srcdir}/gnus.texi + sed -e '/@iflatex/,/@end iflatex/d' ${srcdir}/gnus.texi > gnustmp.texi + $(ENVADD) $(TEXI2DVI) gnustmp.texi + cp gnustmp.dvi $*.dvi + rm gnustmp.* ../info/message: message.texi cd $(srcdir); $(MAKEINFO) message.texi @@ -222,7 +225,7 @@ emacs-mime.dvi: emacs-mime.texi $(ENVADD) $(TEXI2DVI) ${srcdir}/emacs-mime.texi mostlyclean: - rm -f *.log *.cp *.fn *.ky *.pg *.vr core + rm -f *.log *.cp *.fn *.ky *.pg *.vr core gnustmp.* clean: mostlyclean rm -f *.dvi |