diff doc/misc/Makefile.in @ 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 39eed86814a2
line wrap: on
line diff
--- 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.*