2 files changed, 3 insertions, 1 deletions

diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog
index 9e7d98aadda..167462ef686 100644
--- a/doc/misc/ChangeLog
+++ b/doc/misc/ChangeLog
@@ -1,5 +1,7 @@
 2010-10-09  Glenn Morris  <rgm@gnu.org>
 
+        * Makefile.in (mostlyclean): Delete *.toc.
+
         * Makefile.in: Use $< in rules.
 
         * Makefile.in (maintainer-clean): Remove harmless, long-standing error.
diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in
index 4b9117673c4..023831b9366 100644
--- a/doc/misc/Makefile.in
+++ b/doc/misc/Makefile.in
@@ -665,7 +665,7 @@ woman.pdf: ${srcdir}/woman.texi
 .PHONY: mostlyclean clean distclean maintainer-clean
 
 mostlyclean:
-        rm -f *.aux *.log *.cp *.cps *.fn *.fns *.ky *.kys \
+        rm -f *.aux *.log *.toc *.cp *.cps *.fn *.fns *.ky *.kys \
           *.op *.ops *.pg *.pgs *.tp *.tps *.vr *.vrs
         rm -f gnustmp.*