Regenerate INSTALL file

2 files changed, 6 insertions, 3 deletions

diff --git a/ChangeLog b/ChangeLog
index 3dbc688961..eccdf188a1 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
 2013-06-24  Siddhesh Poyarekar  <siddhesh@redhat.com>
 
+	* INSTALL: Regenerate.
+
 	* nscd/connections.c (nscd_init): Fix comment.
 
 2013-06-22  Joseph Myers  <joseph@codesourcery.com>
diff --git a/INSTALL b/INSTALL
index 29326bf636..3281c04453 100644
--- a/INSTALL
+++ b/INSTALL
@@ -340,10 +340,11 @@ build the GNU C Library:
      installation mechanism for the info files is not present or works
      differently.
 
-   * GNU `awk' 3.0, or higher
+   * GNU `awk' 3.1.2, or higher
 
-     `Awk' is used in several places to generate files.  `gawk' 3.0 is
-     known to work.
+     `awk' is used in several places to generate files.  Some `gawk'
+     extensions are used, including the `asorti' function, which was
+     introduced in version 3.1.2 of `gawk'.
 
    * Perl 5