re PR other/31955 (gcc_release does not generate HTML files from install manual)

	PR other/31955
	* doc/install.texi2html: Generate gcc-vers.texi.

From-SVN: r131842

gcc/ChangeLog

+2008-01-25  Joseph Myers  <joseph@codesourcery.com>
+
+	PR other/31955
+	* doc/install.texi2html: Generate gcc-vers.texi.
+
 2008-01-25  DJ Delorie  <dj@redhat.com>
 
 	* config/m32c/m32c.h (ASM_PREFERRED_EH_DATA_FORMAT): Define.

gcc/doc/install.texi2html

@@ -23,6 +23,17 @@ if [ ! -d $DESTDIR ]; then
     mkdir -p $DESTDIR
 fi
 
+# Generate gcc-vers.texi.
+(
+   echo "@set version-GCC $(cat $SOURCEDIR/../BASE-VER)"
+   if [ "$(cat $SOURCEDIR/../DEV-PHASE)" = "experimental" ]; then
+      echo "@set DEVELOPMENT"
+   else
+      echo "@clear DEVELOPMENT"
+   fi
+   echo "@set srcdir $SOURCEDIR/.."
+) > $SOURCEDIR/include/gcc-vers.texi
+
 for x in index.html specific.html prerequisites.html download.html configure.html \
          build.html test.html finalinstall.html binaries.html old.html \
          gfdl.html
@@ -31,3 +42,5 @@ do
     echo "define = $define"
     $MAKEINFO -I $SOURCEDIR -I $SOURCEDIR/include $SOURCEDIR/install.texi --html --no-split -D$define -o$DESTDIR/$x
 done
+
+rm $SOURCEDIR/include/gcc-vers.texi