diff options
Diffstat (limited to 'manual/install.texi')
| -rw-r--r-- | manual/install.texi | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/manual/install.texi b/manual/install.texi index e6c1bafe67..3608a114f5 100644 --- a/manual/install.texi +++ b/manual/install.texi @@ -379,10 +379,11 @@ understand all the tags used in the document, and the installation mechanism for the info files is not present or works differently. @item -GNU @code{awk} 3.0, or higher +GNU @code{awk} 3.1.2, or higher -@code{Awk} is used in several places to generate files. -@code{gawk} 3.0 is known to work. +@code{awk} is used in several places to generate files. +Some @code{gawk} extensions are used, including the @code{asorti} +function, which was introduced in version 3.1.2 of @code{gawk}. @item Perl 5 |