IMPORTANT 3.0 PATCH: gcc_release

[Gerald Pfeifer]

Mark, this (or something like this) is definitely needed for the GCC 3.0
release:

  2001-06-13  Gerald Pfeifer  <pfeifer@dbai.tuwien.ac.at>

	* gcc_release (build_sources): Generate documentation in HTML from
	gcc/doc/install.texi.

I verified this using
  gcc_release -r3.0 -ugerald -d/files/pfeifer sources tarfiles
which succeeded on FreeBSD 4.3 until the build failed for another reason.

Okay to install?

Gerald

Index: gcc_release
===================================================================
RCS file: /cvs/gcc/egcs/contrib/Attic/gcc_release,v
retrieving revision 1.1.2.4
diff -u -3 -p -r1.1.2.4 gcc_release
--- gcc_release	2001/06/07 16:54:28	1.1.2.4
+++ gcc_release	2001/06/13 13:43:04
@@ -127,6 +127,14 @@ build_sources() {
   # also a good sanity check to make sure that the release builds
   # on at least one platform.
   if [ $SNAPSHOT -ne 1 ]; then
+    # Generate the documentation.
+    inform "Building install docs"
+    SOURCEDIR=${SOURCE_DIRECTORY}/gcc/doc
+    DESTDIR=${SOURCE_DIRECTORY}/INSTALL
+    export SOURCEDIR
+    export DESTDIR
+    ${SOURCE_DIRECTORY}/gcc/doc/install.texi2html
+
     inform "Building compiler"
     contrib/gcc_build -d ${SOURCE_DIRECTORY} -o ../objdir build || \
       error "Could not rebuild GCC"