diff options
| author | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2006-02-21 12:06:31 +0000 |
|---|---|---|
| committer | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2006-02-21 12:06:31 +0000 |
| commit | 16561f509cd046f4fdc3be73360ab5fbca55ff26 (patch) | |
| tree | ac89f388ec314bebfb3b3706d575ca359beaef79 /gcc/doc | |
| parent | 7a41c575e395e7b6d2b5bb79d9aa9cc3d5070bcf (diff) | |
| download | gcc-16561f509cd046f4fdc3be73360ab5fbca55ff26.tar.gz | |
* doc/install.texi2html: Use set -e.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@111332 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/doc')
| -rwxr-xr-x | gcc/doc/install.texi2html | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/doc/install.texi2html b/gcc/doc/install.texi2html index 0f792eac10f..44da873b7f6 100755 --- a/gcc/doc/install.texi2html +++ b/gcc/doc/install.texi2html @@ -5,13 +5,15 @@ # $SOURCEDIR and $DESTDIR, resp., refer to the directory containing # the texinfo source and the directory to put the HTML version in. # -# (C) 2001 Free Software Foundation +# (C) 2001, 2003, 2006 Free Software Foundation # Originally by Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at>, June 2001. # # This script is Free Software, and it can be copied, distributed and # modified as defined in the GNU General Public License. A copy of # its license can be downloaded from http://www.gnu.org/copyleft/gpl.html +set -e + SOURCEDIR=${SOURCEDIR-.} DESTDIR=${DESTDIR-HTML} |