diff --git a/doc/lispintro/ChangeLog b/doc/lispintro/ChangeLog
index ad1389f64b4..2f054028a21 100644
--- a/doc/lispintro/ChangeLog
+++ b/doc/lispintro/ChangeLog
@@ -1,3 +1,7 @@
+2008-06-20  Eli Zaretskii  <eliz@gnu.org>
+
+	* makefile.w32-in (distclean): Remove makefile.
+
 2008-06-16  Glenn Morris  <rgm@gnu.org>
 
 	* Makefile.am, Makefile.old, aclocal.m4, configure, configure.in:
diff --git a/doc/lispintro/makefile.w32-in b/doc/lispintro/makefile.w32-in
index 827cb37c39b..eb78946e4db 100644
--- a/doc/lispintro/makefile.w32-in
+++ b/doc/lispintro/makefile.w32-in
@@ -64,6 +64,7 @@ clean: mostlyclean
 	- $(DEL) *.dvi $(infodir)/eintr*
 
 distclean: clean
+	- $(DEL) makefile
 
 maintainer-clean: distclean
 	- $(DEL) *.aux *.cps *.fns *.kys *.pgs *.vrs *.toc