diff make-dist @ 17617:4851316697c1

Many doc fixes.
author Richard M. Stallman <rms@gnu.org>
date Fri, 02 May 1997 00:24:00 +0000
parents 892cc20c7d91
children 09cdafe1339f
line wrap: on
line diff