diff make-dist @ 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 78443a320c9b
children 2316b868d5be
line wrap: on
line diff