* doc/misc/Makefile.in (mostlyclean): Delete *.toc.
authorGlenn Morris <rgm@gnu.org>
Sat, 9 Oct 2010 20:14:43 +0000 (13:14 -0700)
committerGlenn Morris <rgm@gnu.org>
Sat, 9 Oct 2010 20:14:43 +0000 (13:14 -0700)
commit0f05450f83afc96da3f131dbe8971d40026f8d77
treea31de37b25d2e40967b804348fa954eb3471e4ea
parentd3a4ac46f5214c40af155fb01f5b55502fa53d0b
* doc/misc/Makefile.in (mostlyclean): Delete *.toc.
doc/misc/ChangeLog
doc/misc/Makefile.in