changeset 16192:557452ce040c

autoupdate
author Karl Berry <karl@freefriends.org>
date Tue, 27 Dec 2011 07:00:31 -0800
parents aee36fbaff66
children 0b2b4b60945f
files doc/INSTALL doc/INSTALL.ISO doc/INSTALL.UTF-8 doc/install.texi
diffstat 4 files changed, 12 insertions(+), 9 deletions(-) [+]
line wrap: on
line diff
--- 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
 ======================
--- 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
 ======================
--- 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
 ======================
--- 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