update NEWS.stable

[gnulib.git] / doc / install.texi

diff --git a/doc/install.texi b/doc/install.texi
index d397b8a..4c2ffb5 100644 (file)
--- a/doc/install.texi
+++ b/doc/install.texi
@@ -5,7 +5,7 @@
 
 @unnumbered Installation Instructions
 
-Copyright @copyright{} 1994-1996, 1999-2002, 2004-2011 Free Software
+Copyright @copyright{} 1994-1996, 1999-2002, 2004-2012 Free Software
 Foundation, Inc.
 
 Copying and distribution of this file, with or without modification, are
@@ -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