diff options
| -rwxr-xr-x | autoconf/AutoRegen.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/autoconf/AutoRegen.sh b/autoconf/AutoRegen.sh index 07866e6bf2..7809667ac5 100755 --- a/autoconf/AutoRegen.sh +++ b/autoconf/AutoRegen.sh @@ -12,6 +12,8 @@ clean() { ### NOTE: ############################################################ ### These variables specify the tool versions we want to use. ### Periods should be escaped with backslash for use by grep. +### +### If you update these, please also update docs/GettingStarted.html want_autoconf_version='2\.60' want_autoheader_version=$want_autoconf_version want_aclocal_version='1\.9\.6' |