(distclean): Remove makefile.

2008-06-20 15:13:49 +00:00
parent 9b4fb9b710
commit e7881076c2
2 changed files with 5 additions and 0 deletions
--- a/doc/emacs/ChangeLog
+++ b/doc/emacs/ChangeLog
@@ -1,3 +1,7 @@
+2008-06-20  Eli Zaretskii  <eliz@gnu.org>
+
+	* makefile.w32-in (distclean): Remove makefile.
+
 2008-06-17  Nick Roberts  <nickrob@snap.net.nz>

 	* building.texi (Starting GUD): Add an entry for gud-gdb.
--- a/doc/emacs/makefile.w32-in
+++ b/doc/emacs/makefile.w32-in
@@ -130,6 +130,7 @@ clean: mostlyclean
 	- $(DEL) $(infodir)/emacs*

 distclean: clean
+	- $(DEL) makefile

 maintainer-clean: distclean
 	- $(DEL) *.aux *.cps *.fns *.kys *.pgs *.vrs *.toc