diff make-dist @ 26783:626ae4bb4994

Fix makeinfo complaints.
author Dave Love <fx@gnu.org>
date Thu, 09 Dec 1999 18:22:56 +0000
parents 8a1730e677fe
children d6607102aa71
line wrap: on
line diff