diff make-dist @ 100110:02ed951e3c8f

(format-write-file): Rewrite doc yet again.
author Glenn Morris <rgm@gnu.org>
date Tue, 02 Dec 2008 03:31:40 +0000
parents 9419b837e9c6
children 38e7317321ea
line wrap: on
line diff