From 771de9614b52042c1870625d412263a22708152e Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Tue, 27 Dec 2011 07:00:31 -0800 Subject: [PATCH] autoupdate --- doc/INSTALL | 5 +++-- doc/INSTALL.ISO | 5 +++-- doc/INSTALL.UTF-8 | 5 +++-- doc/install.texi | 6 +++--- 4 files changed, 12 insertions(+), 9 deletions(-) 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 -- 2.11.0