Andreas Schwab wrote: > Try ./config.status --version. Thanks! But how could I have guessed this functionality is available under this option? $ ./config.status --help ... -V, --version print version number, then exit ... Should better say: -V, --version print version number and configuration settings, then exit Bruno _______________________________________________ Autoconf mailing list Autoconf@xxxxxxx http://lists.gnu.org/mailman/listinfo/autoconf
