changeset 96106:d53b5b9f936e

(distclean): Remove makefile.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 20 Jun 2008 15:16:44 +0000
parents 6ade8d97c961
children 82bda7512c9c
files doc/misc/makefile.w32-in
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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