diff make-dist @ 28824:add63b27c709

Doc fixes; mainly avoid duplicating arg list in doc string. Don't quote keyword symbols.
author Dave Love <fx@gnu.org>
date Fri, 05 May 2000 20:00:35 +0000
parents 9eb6792eefac
children 43f15cfb67a0
line wrap: on
line diff