diff make-dist @ 88805:7956f7e0336b

Doc fixes.
author Dave Love <fx@gnu.org>
date Thu, 27 Jun 2002 21:40:53 +0000
parents 1109a8546104
children 071e287dcbde
line wrap: on
line diff