diff doc/misc/ChangeLog @ 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 b803c876a460
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.