diff make-dist @ 23291:15b83e8bd4da

(help-make-xrefs): Fix typo affecting Info references.
author Dave Love <fx@gnu.org>
date Mon, 21 Sep 1998 17:39:54 +0000
parents d929ae6f35d3
children e270203c0c9f
line wrap: on
line diff