diff options
author | Stefano Lattarini <stefano.lattarini@gmail.com> | 2012-04-11 17:51:59 +0200 |
---|---|---|
committer | Stefano Lattarini <stefano.lattarini@gmail.com> | 2012-04-11 17:51:59 +0200 |
commit | faffcc8718dbf67e8aa84dda93a13ca3824eafcc (patch) | |
tree | 2b9819ef3f0d3a106fa3a9b4ab821fbb3df471ea /lib/INSTALL | |
parent | 0d0cafcdcae41ce4d4018448d3f5d95f815111a8 (diff) | |
download | automake-faffcc8718dbf67e8aa84dda93a13ca3824eafcc.tar.gz |
sync: some auxiliary files synced from upstream
* lib/texinfo.tex: Synced from upstream, by "make fetch".
* lib/INSTALL: Likewise.
Signed-off-by: Stefano Lattarini <stefano.lattarini@gmail.com>
Diffstat (limited to 'lib/INSTALL')
-rw-r--r-- | lib/INSTALL | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/INSTALL b/lib/INSTALL index a1e89e18a..6e90e07d2 100644 --- a/lib/INSTALL +++ b/lib/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-2012 Free Software Foundation, Inc. Copying and distribution of this file, with or without modification, @@ -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. - |