diff make-dist @ 41374:608e18d9fb18

Fix cross-references to "Resources".
author Eli Zaretskii <eliz@gnu.org>
date Thu, 22 Nov 2001 19:37:34 +0000
parents 1daffd332bcd
children 7c0b7eab16c4
line wrap: on
line diff