comparison configure @ 30084:bafd38c61694

(DONTCOMPILE): Add comment that the name may not be changed without changing the make-dist script.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 05 Jul 2000 20:03:53 +0000
parents 58ce7aad3fff
children fbb3614484f9
comparison
equal deleted inserted replaced
30083:998d20abc885 30084:bafd38c61694