diff make-dist @ 41373:11a1b4e2b45a

Fix node names and cross-references.
author Eli Zaretskii <eliz@gnu.org>
date Thu, 22 Nov 2001 19:35:56 +0000
parents 1daffd332bcd
children 7c0b7eab16c4
line wrap: on
line diff