changeset 96104:9ca383883671

(distclean): Remove makefile.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 20 Jun 2008 15:15:13 +0000
parents da371f106b1c
children 6ade8d97c961
files doc/lispref/makefile.w32-in
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/doc/lispref/makefile.w32-in	Fri Jun 20 15:13:49 2008 +0000
+++ b/doc/lispref/makefile.w32-in	Fri Jun 20 15:15:13 2008 +0000
@@ -119,6 +119,7 @@
 	- $(DEL) $(infodir)/elisp*
 
 distclean: clean
+	- $(DEL) makefile
 
 maintainer-clean: distclean
 	- $(DEL) elisp elisp-? elisp-?? elisp.dvi elisp.oaux