diff make-dist @ 24011:f36caedebd5f

Doc fix.
author Simon Marshall <simon@gnu.org>
date Wed, 06 Jan 1999 15:23:46 +0000
parents e270203c0c9f
children f14a9b714a8e
line wrap: on
line diff