changeset 96102:f9a8fb174706

(distclean): Remove makefile.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 20 Jun 2008 15:13:21 +0000
parents 9180cf541496
children da371f106b1c
files doc/emacs/makefile.w32-in
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/doc/emacs/makefile.w32-in	Fri Jun 20 15:11:53 2008 +0000
+++ b/doc/emacs/makefile.w32-in	Fri Jun 20 15:13:21 2008 +0000
@@ -130,6 +130,7 @@
 	- $(DEL) $(infodir)/emacs*
 
 distclean: clean
+	- $(DEL) makefile
 
 maintainer-clean: distclean
 	- $(DEL) *.aux *.cps *.fns *.kys *.pgs *.vrs *.toc