# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1286655283 25200
# Node ID 7bfd20f2292da2f82102643b6d20265b35df8bed
# Parent  50d2da482ed7ed0b1d194faaaa10d63dba6bbba3
* doc/misc/Makefile.in (mostlyclean): Delete *.toc.

diff -r 50d2da482ed7 -r 7bfd20f2292d doc/misc/ChangeLog
--- a/doc/misc/ChangeLog	Sat Oct 09 13:12:18 2010 -0700
+++ b/doc/misc/ChangeLog	Sat Oct 09 13:14:43 2010 -0700
@@ -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 -r 50d2da482ed7 -r 7bfd20f2292d doc/misc/Makefile.in
--- a/doc/misc/Makefile.in	Sat Oct 09 13:12:18 2010 -0700
+++ b/doc/misc/Makefile.in	Sat Oct 09 13:14:43 2010 -0700
@@ -665,7 +665,7 @@
 .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.*