diff make-dist @ 7962:05260d3b988d

Doc fixes.
author Richard M. Stallman <rms@gnu.org>
date Sat, 18 Jun 1994 21:04:14 +0000
parents cba3121c44b7
children bd5b4c5dda7f
line wrap: on
line diff