diff options
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/install.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/install.texi b/manual/install.texi index c5f159163a..08ed4051b6 100644 --- a/manual/install.texi +++ b/manual/install.texi @@ -643,7 +643,7 @@ If you change any of the @file{configure.ac} files you will also need @itemize @bullet @item -GNU @code{autoconf} 2.71 (exactly) +GNU @code{autoconf} 2.72 (exactly) @end itemize @noindent |