# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1213974801 0
# Node ID f9a8fb17470675facdaf4b4f37c416276ee0ea1d
# Parent  9180cf5414961cb45371023f6b09f53cfbafd5db
(distclean): Remove makefile.

diff -r 9180cf541496 -r f9a8fb174706 doc/emacs/makefile.w32-in
--- 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