diff options
| -rwxr-xr-x | autoconf/AutoRegen.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/autoconf/AutoRegen.sh b/autoconf/AutoRegen.sh index 7809667ac5..cbca7387a8 100755 --- a/autoconf/AutoRegen.sh +++ b/autoconf/AutoRegen.sh @@ -13,7 +13,7 @@ clean() { ### 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 +### If you update these, please also update docs/GettingStarted.rst want_autoconf_version='2\.60' want_autoheader_version=$want_autoconf_version want_aclocal_version='1\.9\.6' |