diff options
| author | Karl Berry <karl@freefriends.org> | 2011-12-27 07:00:31 -0800 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2011-12-27 07:00:31 -0800 |
| commit | 771de9614b52042c1870625d412263a22708152e (patch) | |
| tree | c52e514d535289b80b03c8b1d93d50655acdeff7 | |
| parent | b5648a5ca745f620948f53d69b8f844ea00affbe (diff) | |
| download | gnulib-771de9614b52042c1870625d412263a22708152e.tar.gz | |
autoupdate
| -rw-r--r-- | doc/INSTALL | 5 | ||||
| -rw-r--r-- | doc/INSTALL.ISO | 5 | ||||
| -rw-r--r-- | doc/INSTALL.UTF-8 | 5 | ||||
| -rw-r--r-- | doc/install.texi | 6 |
4 files changed, 12 insertions, 9 deletions
diff --git a/doc/INSTALL b/doc/INSTALL index a1e89e18ad..47411a20f0 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 65347298d7..29f19cd13d 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 115d5eacb0..fbdc8cd0b7 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 d397b8a89b..c6a8bdf7af 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 |