Index: INSTALL |
diff --git a/INSTALL b/INSTALL |
index a1e89e18ad20c227845f2099cb9894c799265d19..2099840756e6302d837dcd51b5dcd6262f7adb16 100644 |
--- a/INSTALL |
+++ b/INSTALL |
@@ -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. |
- |