diff make-dist @ 31564:00efca34e7d0

Doc fixes.
author Dave Love <fx@gnu.org>
date Tue, 12 Sep 2000 13:00:30 +0000 (2000-09-12)
parents 28cc44c6c08c
children f50932a70105
line wrap: on
line diff