diff make-dist @ 26468:1c8b8c87db6f

Fix makeinfo errors.
author Dave Love <fx@gnu.org>
date Tue, 16 Nov 1999 15:39:41 +0000
parents 8a1730e677fe
children d6607102aa71
line wrap: on
line diff