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@gnu.org http://lists.gnu.org/mailman/listinfo/autoconf
