From: Karl Berry <karl@freefriends.org>
Date: Tue, 27 Dec 2011 15:00:31 +0000 (-0800)
Subject: autoupdate
X-Git-Tag: v0.1~1334
X-Git-Url: http://erislabs.org.uk/gitweb/?a=commitdiff_plain;h=771de9614b52042c1870625d412263a22708152e;p=gnulib.git

autoupdate
---

diff --git a/doc/INSTALL b/doc/INSTALL
index a1e89e18a..47411a20f 100644
--- a/doc/INSTALL
+++ b/doc/INSTALL
@@ -309,9 +309,10 @@ causes the specified `gcc' to be used as the C compiler (unless it is
 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
index 65347298d..29f19cd13 100644
--- a/doc/INSTALL.ISO
+++ b/doc/INSTALL.ISO
@@ -309,9 +309,10 @@ causes the specified 'gcc' to be used as the C compiler (unless it is
 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
index 115d5eacb..fbdc8cd0b 100644
--- a/doc/INSTALL.UTF-8
+++ b/doc/INSTALL.UTF-8
@@ -309,9 +309,10 @@ causes the specified ‘gcc’ to be used as the C compiler (unless it is
 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
index d397b8a89..c6a8bdf7a 100644
--- a/doc/install.texi
+++ b/doc/install.texi
@@ -364,11 +364,11 @@ overridden in the site shell script).
 
 @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