diff make-dist @ 2236:c26427fc12e2

Doc fix.
author Richard M. Stallman <rms@gnu.org>
date Wed, 17 Mar 1993 21:40:14 +0000
parents 0b629ab3f06a
children fe5302520efd
line wrap: on
line diff