path: root/INSTALL
diff options
authorChristian Grothoff <>2015-03-13 09:49:47 +0100
committerChristian Grothoff <>2015-03-13 09:49:47 +0100
commit968e4aa68f4185d24466bb3ba8bfaba8d9c27ef1 (patch)
treea29d92350a3b9a8c38986e55bb08b23c9d9d3aa3 /INSTALL
parent2f70806cfaff445880639857fef45fd7bdd7f8a5 (diff)
slightly better error generation on /refresh/reveal errors
Diffstat (limited to 'INSTALL')
1 files changed, 6 insertions, 6 deletions
diff --git a/INSTALL b/INSTALL
index 20998407..a1e89e18 100644
@@ -1,7 +1,7 @@
Installation Instructions
-Copyright (C) 1994-1996, 1999-2002, 2004-2013 Free Software Foundation,
+Copyright (C) 1994-1996, 1999-2002, 2004-2011 Free Software Foundation,
Copying and distribution of this file, with or without modification,
@@ -12,8 +12,8 @@ without warranty of any kind.
Basic Installation
- Briefly, the shell command `./configure && make && make install'
-should configure, build, and install this package. The following
+ Briefly, the shell commands `./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,10 +309,9 @@ 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 limitation. Until the limitation is lifted, you can use
-this workaround:
+an Autoconf bug. Until the bug is fixed you can use this workaround:
- CONFIG_SHELL=/bin/bash ./configure CONFIG_SHELL=/bin/bash
+ CONFIG_SHELL=/bin/bash /bin/bash ./configure CONFIG_SHELL=/bin/bash
`configure' Invocation
@@ -368,3 +367,4 @@ operates.
`configure' also accepts some other, not widely useful, options. Run
`configure --help' for more details.