# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1213975004 0
# Node ID d53b5b9f936e607993e33f97a68bd57d841c8686
# Parent  6ade8d97c961c0a7a84e6a6b99b1839757c86eed
(distclean): Remove makefile.

diff -r 6ade8d97c961 -r d53b5b9f936e doc/misc/makefile.w32-in
--- a/doc/misc/makefile.w32-in	Fri Jun 20 15:15:57 2008 +0000
+++ b/doc/misc/makefile.w32-in	Fri Jun 20 15:16:44 2008 +0000
@@ -325,6 +325,7 @@
 		 $(infodir)/epa*
 
 distclean: clean
+	- $(DEL) makefile
 
 maintainer-clean: distclean
 	- $(DEL) *.aux *.cps *.fns *.kys *.pgs *.vrs *.toc