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 | 55c875c2d23e263cad344bb5f0de606e43921c04 (patch) | |
| tree | 34cb0f5bec9eaabeb5b0627630c709671a91986e /man/Makefile.in | |
| parent | 5916243b182e0b345ad82ea3ac56a4bb07c54d80 (diff) | |
| download | emacs-55c875c2d23e263cad344bb5f0de606e43921c04.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 |