X-Git-Url: http://erislabs.net/gitweb/?a=blobdiff_plain;f=doc%2FINSTALL.ISO;h=d60c04bbd7337362a4fd50b17fbb07aba6c25e4c;hb=43593319b31e6b0175b8eec4433bac744959822d;hp=65347298d70831bd8f8163d0404e3941301e04ff;hpb=55392621466ee6ac755c920f881679b5e345b11d;p=gnulib.git

diff --git a/doc/INSTALL.ISO b/doc/INSTALL.ISO
index 65347298d..d60c04bbd 100644
--- a/doc/INSTALL.ISO
+++ b/doc/INSTALL.ISO
@@ -1,7 +1,7 @@
 Installation Instructions
 *************************
 
-Copyright (C) 1994-1996, 1999-2002, 2004-2011 Free Software Foundation,
+Copyright (C) 1994-1996, 1999-2002, 2004-2013 Free Software Foundation,
 Inc.
 
    Copying and distribution of this file, with or without modification,
@@ -12,8 +12,8 @@ without warranty of any kind.
 Basic Installation
 ==================
 
-   Briefly, the shell commands './configure; make; make install' should
-configure, build, and install this package.  The following
+   Briefly, the shell command './configure && make && make install'
+should configure, build, and install this package.  The following
 more-detailed instructions are generic; see the 'README' file for
 instructions specific to this package.  Some packages provide this
 'INSTALL' file but do not implement all of the features documented
@@ -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
 ======================
@@ -367,4 +368,3 @@ operates.
 
 'configure' also accepts some other, not widely useful, options.  Run
 'configure --help' for more details.
-