diff options
| author | Joseph Myers <joseph@codesourcery.com> | 2006-02-21 12:06:31 +0000 |
|---|---|---|
| committer | Joseph Myers <jsm28@gcc.gnu.org> | 2006-02-21 12:06:31 +0000 |
| commit | 520bc8a2e75af7f6e85865744a37239c45c5f839 (patch) | |
| tree | ac89f388ec314bebfb3b3706d575ca359beaef79 | |
| parent | 592fb5106aa2587fc0a2da8591bdfca87e7dc602 (diff) | |
| download | gcc-520bc8a2e75af7f6e85865744a37239c45c5f839.zip gcc-520bc8a2e75af7f6e85865744a37239c45c5f839.tar.gz gcc-520bc8a2e75af7f6e85865744a37239c45c5f839.tar.bz2 | |
* doc/install.texi2html: Use set -e.
From-SVN: r111332
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rwxr-xr-x | gcc/doc/install.texi2html | 4 |
2 files changed, 7 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 68a0996..78e6fc2 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2006-02-21 Joseph S. Myers <joseph@codesourcery.com> + + * doc/install.texi2html: Use set -e. + 2006-02-21 Richard Sandiford <richard@codesourcery.com> * doc/tm.texi (ASM_OUTPUT_SHARED_COMMON, ASM_OUTPUT_SHARED_BSS) diff --git a/gcc/doc/install.texi2html b/gcc/doc/install.texi2html index 0f792ea..44da873 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} |