2001-10-19 Simon Josefsson <jas@extundo.com>
authorSimon Josefsson <jas@extundo.com>
Sat, 20 Oct 2001 10:40:13 +0000 (10:40 +0000)
committerSimon Josefsson <jas@extundo.com>
Sat, 20 Oct 2001 10:40:13 +0000 (10:40 +0000)
* Makefile.in (clean): rm gnus.out.
(distclean): rm gnusconfig.tex (moved from "clean").

texi/ChangeLog
texi/Makefile.in

index 41334c3..dee03ef 100644 (file)
@@ -1,5 +1,8 @@
 2001-10-19  Simon Josefsson  <jas@extundo.com>
 
+       * Makefile.in (clean): rm gnus.out.
+       (distclean): rm gnusconfig.tex (moved from "clean").
+
        * gnus.texi (Using MIME): s/mime/MIME/ for PDF version.
 
 2001-10-19  Kai Gro\e,A_\e(Bjohann  <Kai.Grossjohann@CS.Uni-Dortmund.DE>
index 6a32609..d1046af 100644 (file)
@@ -66,7 +66,7 @@ clean:
        gnus.ilg gnus.ind gnus.[cgk]ind gnus.idx \
        gnustmp.texi *.tmplatexi gnus.tmplatexi1 texput.log *.orig *.rej \
        gnus.latexi*~* xface.tex picons.tex smiley.tex *.latexi *.dvi-x \
-       *.pdf-x gnusconfig.tex
+       *.pdf-x gnus.out
 
 makeinfo:
        makeinfo -o gnus gnus.texi
@@ -163,6 +163,7 @@ distclean: veryclean
        rm -f *.orig *.rej *.elc *~ gnus-[0-9] gnus-[0-9][0-9] Makefile
        rm -f message-[0-9]
        rm -f $(INFO_DEPS)
+       rm -f gnusconfig.tex
 
 install: $(INFO_DEPS)
        $(SHELL) $(top_srcdir)/mkinstalldirs $(infodir)