autoupdate

[gnulib.git] / doc / INSTALL.ISO

diff --git a/doc/INSTALL.ISO b/doc/INSTALL.ISO
index 6534729..29f19cd 100644 (file)
--- 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
 ======================