# HG changeset patch
# User Karl Berry <karl@freefriends.org>
# Date 1324998031 28800
# Node ID 557452ce040ccc19ca486f2d66ecdb1dead7a9c7
# Parent  aee36fbaff66865ad2b0fc588fe06990348501ab
autoupdate

diff --git a/doc/INSTALL b/doc/INSTALL
--- a/doc/INSTALL
+++ b/doc/INSTALL
@@ -309,9 +309,10 @@
 overridden in the site shell script).
 
 Unfortunately, this technique does not work for `CONFIG_SHELL' due to
-an Autoconf bug.  Until the bug is fixed you can use this workaround:
+an Autoconf limitation.  Until the limitation is lifted, you can use
+this workaround:
 
-     CONFIG_SHELL=/bin/bash /bin/bash ./configure CONFIG_SHELL=/bin/bash
+     CONFIG_SHELL=/bin/bash ./configure CONFIG_SHELL=/bin/bash
 
 `configure' Invocation
 ======================
diff --git a/doc/INSTALL.ISO b/doc/INSTALL.ISO
--- a/doc/INSTALL.ISO
+++ b/doc/INSTALL.ISO
@@ -309,9 +309,10 @@
 overridden in the site shell script).
 
 Unfortunately, this technique does not work for 'CONFIG_SHELL' due to
-an Autoconf bug.  Until the bug is fixed you can use this workaround:
+an Autoconf limitation.  Until the limitation is lifted, you can use
+this workaround:
 
-     CONFIG_SHELL=/bin/bash /bin/bash ./configure CONFIG_SHELL=/bin/bash
+     CONFIG_SHELL=/bin/bash ./configure CONFIG_SHELL=/bin/bash
 
 'configure' Invocation
 ======================
diff --git a/doc/INSTALL.UTF-8 b/doc/INSTALL.UTF-8
--- a/doc/INSTALL.UTF-8
+++ b/doc/INSTALL.UTF-8
@@ -309,9 +309,10 @@
 overridden in the site shell script).
 
 Unfortunately, this technique does not work for ‘CONFIG_SHELL’ due to
-an Autoconf bug.  Until the bug is fixed you can use this workaround:
+an Autoconf limitation.  Until the limitation is lifted, you can use
+this workaround:
 
-     CONFIG_SHELL=/bin/bash /bin/bash ./configure CONFIG_SHELL=/bin/bash
+     CONFIG_SHELL=/bin/bash ./configure CONFIG_SHELL=/bin/bash
 
 ‘configure’ Invocation
 ======================
diff --git a/doc/install.texi b/doc/install.texi
--- a/doc/install.texi
+++ b/doc/install.texi
@@ -364,11 +364,11 @@
 
 @noindent
 Unfortunately, this technique does not work for @env{CONFIG_SHELL} due
-to an Autoconf bug.  Until the bug is fixed you can use this
-workaround:
+to an Autoconf limitation.  Until the limitation is lifted, you can use
+this workaround:
 
 @example
-CONFIG_SHELL=/bin/bash /bin/bash ./configure CONFIG_SHELL=/bin/bash
+CONFIG_SHELL=/bin/bash ./configure CONFIG_SHELL=/bin/bash
 @end example
 
 @node configure Invocation