(distclean): Remove makefile.

diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog
index d84485810f0152bc37ce56eb15e67f3550533721..dcc04df3fe131e2e6a32f399e6e6a7c4f8155123 100644 (file)
--- a/doc/misc/ChangeLog
+++ b/doc/misc/ChangeLog
@@ -1,3 +1,7 @@
+2008-06-20  Eli Zaretskii  <eliz@gnu.org>
+
+       * makefile.w32-in (distclean): Remove makefile.
+
 2008-06-17  Carsten Dominik  <dominik@science.uva.nl>
 
        * org.texi (Using the mapping API): New section.

diff --git a/doc/misc/makefile.w32-in b/doc/misc/makefile.w32-in
index 668debc9f89ec1f82330fce8b6faabb8cdb3a8b3..77a95937ab1b860a1e3215f506cf7af8737424ea 100644 (file)
--- a/doc/misc/makefile.w32-in
+++ b/doc/misc/makefile.w32-in
@@ -325,6 +325,7 @@ clean: mostlyclean
                 $(infodir)/epa*
 
 distclean: clean
+       - $(DEL) makefile
 
 maintainer-clean: distclean
        - $(DEL) *.aux *.cps *.fns *.kys *.pgs *.vrs *.toc