From 16561f509cd046f4fdc3be73360ab5fbca55ff26 Mon Sep 17 00:00:00 2001
From: jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Tue, 21 Feb 2006 12:06:31 +0000
Subject: [PATCH] * doc/install.texi2html: Use set -e.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@111332 138bc75d-0d04-0410-961f-82ee72b054a4
---
gcc/ChangeLog | 4 ++++
gcc/doc/install.texi2html | 4 +++-
2 files changed, 7 insertions(+), 1 deletion(-)
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 68a099656f10..78e6fc294dc2 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 0f792eac10ff..44da873b7f62 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}
--
GitLab