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

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

diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog
index d84485810f0..dcc04df3fe1 100644
--- a/doc/misc/ChangeLog
+++ b/doc/misc/ChangeLog
@@ -1,3 +1,7 @@
+2008-06-20  Eli Zaretskii  <eliz@gnu.org>
+
+	* makefile.w32-in (distclean): Remove makefile.
+
 2008-06-17  Carsten Dominik  <dominik@science.uva.nl>
 
 	* org.texi (Using the mapping API): New section.
diff --git a/doc/misc/makefile.w32-in b/doc/misc/makefile.w32-in
index 668debc9f89..77a95937ab1 100644
--- a/doc/misc/makefile.w32-in
+++ b/doc/misc/makefile.w32-in
@@ -325,6 +325,7 @@ clean: mostlyclean
 		 $(infodir)/epa*
 
 distclean: clean
+	- $(DEL) makefile
 
 maintainer-clean: distclean
 	- $(DEL) *.aux *.cps *.fns *.kys *.pgs *.vrs *.toc
-- 
2.39.2