(distclean): Remove makefile.

diff --git a/doc/lispintro/ChangeLog b/doc/lispintro/ChangeLog
index ad1389f64b43e236ecf6fe3bb9a63772f766dcc0..2f054028a2140a39d21f5a18d6d172feb0de365a 100644 (file)
--- a/doc/lispintro/ChangeLog
+++ b/doc/lispintro/ChangeLog
@@ -1,3 +1,7 @@
+2008-06-20  Eli Zaretskii  <eliz@gnu.org>
+
+       * makefile.w32-in (distclean): Remove makefile.
+
 2008-06-16  Glenn Morris  <rgm@gnu.org>
 
        * Makefile.am, Makefile.old, aclocal.m4, configure, configure.in:

diff --git a/doc/lispintro/makefile.w32-in b/doc/lispintro/makefile.w32-in
index 827cb37c39b34759af539c3fff576d44b615a23f..eb78946e4db1ee9a047049bccf6bc3b0ea5a3dc8 100644 (file)
--- a/doc/lispintro/makefile.w32-in
+++ b/doc/lispintro/makefile.w32-in
@@ -64,6 +64,7 @@ clean: mostlyclean
        - $(DEL) *.dvi $(infodir)/eintr*
 
 distclean: clean
+       - $(DEL) makefile
 
 maintainer-clean: distclean
        - $(DEL) *.aux *.cps *.fns *.kys *.pgs *.vrs *.toc