# advertises itself as autoconf 2.13.
# If you have such a setup, invoke this script as:
# autoconf=autoconf2.13 ./autogen.sh
# advertises itself as autoconf 2.13.
# If you have such a setup, invoke this script as:
# autoconf=autoconf2.13 ./autogen.sh