diff make-dist @ 41422:54ac2f6e3c93

Modified to reflect changes in the file names.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 24 Nov 2001 10:00:35 +0000
parents 7c0b7eab16c4
children 9cef47e51d37
line wrap: on
line diff