2 files changed, 5 insertions, 0 deletions

diff --git a/doc/lispintro/ChangeLog b/doc/lispintro/ChangeLog
index 2762b741bc1..3ef9637cc2e 100644
--- a/doc/lispintro/ChangeLog
+++ b/doc/lispintro/ChangeLog
@@ -1,3 +1,7 @@
+2007-09-06  Romain Francoise  <romain@orebokech.com>
+
+        * Makefile.in (maintainer-clean): Delete info files.
+
 2007-09-06  Glenn Morris  <rgm@gnu.org>
 
         * Move from lispintro/ to doc/lispintro/.
diff --git a/doc/lispintro/Makefile.in b/doc/lispintro/Makefile.in
index 0f932bcad2d..5ace5337971 100644
--- a/doc/lispintro/Makefile.in
+++ b/doc/lispintro/Makefile.in
@@ -66,6 +66,7 @@ distclean: clean
 
 maintainer-clean: distclean
         rm -f *.aux *.cps *.fns *.kys *.pgs *.vrs *.toc
+        cd $(infodir); rm -f eintr eintr-[1-9]
 
 # Tell versions [3.59,3.63) of GNU make to not export all variables.
 # Otherwise a system limit (for SysV at least) may be exceeded.