From e7881076c2a05f8e4a0df1debef4e9e43e645841 Mon Sep 17 00:00:00 2001
From: Eli Zaretskii <eliz@gnu.org>
Date: Fri, 20 Jun 2008 15:13:49 +0000
Subject: [PATCH] (distclean): Remove makefile.

---
 doc/emacs/ChangeLog       | 4 ++++
 doc/emacs/makefile.w32-in | 1 +
 2 files changed, 5 insertions(+)

diff --git a/doc/emacs/ChangeLog b/doc/emacs/ChangeLog
index 3c985dbb02a..41cad3134ff 100644
--- a/doc/emacs/ChangeLog
+++ b/doc/emacs/ChangeLog
@@ -1,3 +1,7 @@
+2008-06-20  Eli Zaretskii  <eliz@gnu.org>
+
+	* makefile.w32-in (distclean): Remove makefile.
+
 2008-06-17  Nick Roberts  <nickrob@snap.net.nz>
 
 	* building.texi (Starting GUD): Add an entry for gud-gdb.
diff --git a/doc/emacs/makefile.w32-in b/doc/emacs/makefile.w32-in
index 4b80cd18fd5..c81e6fe47c1 100644
--- a/doc/emacs/makefile.w32-in
+++ b/doc/emacs/makefile.w32-in
@@ -130,6 +130,7 @@ clean: mostlyclean
 	- $(DEL) $(infodir)/emacs*
 
 distclean: clean
+	- $(DEL) makefile
 
 maintainer-clean: distclean
 	- $(DEL) *.aux *.cps *.fns *.kys *.pgs *.vrs *.toc
-- 
2.39.2