changeset 110890:7bfd20f2292d

* doc/misc/Makefile.in (mostlyclean): Delete *.toc.
author Glenn Morris <rgm@gnu.org>
date Sat, 09 Oct 2010 13:14:43 -0700
parents 50d2da482ed7
children 984146e401fc
files doc/misc/ChangeLog doc/misc/Makefile.in
diffstat 2 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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.
--- 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.*