autoupdate
authorKarl Berry <karl@freefriends.org>
Tue, 27 Dec 2011 15:00:31 +0000 (07:00 -0800)
committerKarl Berry <karl@freefriends.org>
Tue, 27 Dec 2011 15:00:31 +0000 (07:00 -0800)
doc/INSTALL
doc/INSTALL.ISO
doc/INSTALL.UTF-8
doc/install.texi

index a1e89e18ad20c227845f2099cb9894c799265d19..47411a20f0e025e5479d690831d05238b0800327 100644 (file)
@@ -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
 ======================
index 65347298d70831bd8f8163d0404e3941301e04ff..29f19cd13d38205248799c588decb4138e07fe6d 100644 (file)
@@ -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
 ======================
index 115d5eacb069c5fdbd5612c288171c51418cbe2f..fbdc8cd0b7bdb94019e41157dcaa701bff63613d 100644 (file)
@@ -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
 ======================
index d397b8a89b4cb3f385c702d69a8dde7072533762..c6a8bdf7af472e4b60012793d09a4b68ddc6f30c 100644 (file)
@@ -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