From: Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at>
Date: Sun, 3 Jun 2001 12:11:43 +0000 (+0200)
Subject: * doc/install.texi2html: New script.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c777a6def975631afe78827d37f1189c1de5f0bd;p=gcc.git

* doc/install.texi2html: New script.

From-SVN: r42826
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index fad93e2073d..274f6ee8c58 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2001-06-03  Gerald Pfeifer  <pfeifer@dbai.tuwien.ac.at>
+
+	* doc/install.texi2html: New script.
+
 2001-06-03  David Edelsohn  <edelsohn@gnu.org>
 
 	* doc/install.texi: Update AIX information again.
diff --git a/gcc/doc/install.texi2html b/gcc/doc/install.texi2html
new file mode 100755
index 00000000000..da99e4c453b
--- /dev/null
+++ b/gcc/doc/install.texi2html
@@ -0,0 +1,30 @@
+#!/bin/sh
+#
+# Convert the GCC install documentation from texinfo format to HTML.
+#
+# $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
+# 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
+
+SOURCEDIR=${SOURCEDIR-.}
+DESTDIR=${DESTDIR-HTML}
+
+MAKEINFO=makeinfo
+
+if [ ! -d $DESTDIR ]; then
+    mkdir -p $DESTDIR
+fi
+
+for x in index.html specific.html download.html configure.html \
+         build.html test.html finalinstall.html binaries.html
+do
+    define=`echo $x | sed -e 's/\.//g'`
+    echo "define = $define"
+    $MAKEINFO $SOURCEDIR/install.texi --html -D$define -o$DESTDIR/$x
+done