FWIW, I think we should only use a new Autoconf if it is a patched
variant of the same version of Autoconf we use today.
I too would be in favor of using a patched Autoconf -- or just applying
the same change directly to the configure file.
_______________________________________________
Autoconf mailing list
Autoconf@xxxxxxx
http://lists.gnu.org/mailman/listinfo/autoconf
