[gcc] GCC 4.5.0=>4.5.1

gcc/maintainer-scripts/update_web_docs_svn

Index: gcc/maintainer-scripts/update_web_docs_svn
diff --git a/gcc/maintainer-scripts/update_web_docs_svn b/gcc/maintainer-scripts/update_web_docs_svn
index 74098b4ac4d0bc6982ad0b5c4a04ea55f4ebb764..8fb59fd90b5b5563fff07bff21cbf9c68934f23e 100755
--- a/gcc/maintainer-scripts/update_web_docs_svn
+++ b/gcc/maintainer-scripts/update_web_docs_svn
@@ -1,4 +1,4 @@
-#!/bin/sh -x
+#!/bin/sh
 
 # Generate HTML documentation from GCC Texinfo docs.
 # This version is for GCC 3.1 and later versions.
@@ -146,7 +146,7 @@ fi
    fi
    echo "@set srcdir $WORKDIR/gcc/gcc"
    echo "@set VERSION_PACKAGE (GCC)"
-   echo "@set BUGURL @uref{http://gcc.gnu.org/bugs.html}"
+   echo "@set BUGURL @uref{http://gcc.gnu.org/bugs/}"
 ) > $includedir/gcc-vers.texi
 
 # Now convert the relevant files from texi to HTML, PDF and PostScript.
@@ -155,7 +155,7 @@ for file in $MANUALS; do
   if [ "${filename}" ]; then
     makeinfo --html -I ${includedir} -I `dirname ${filename}` -o ${file} ${filename}
     tar cf ${file}-html.tar ${file}/*.html
-    texi2dvi -I ${includedir} -o ${file}.dvi ${filename} </dev/null && dvips -o ${file}.ps ${file}.dvi
+    texi2dvi -I ${includedir} -o ${file}.dvi ${filename} </dev/null >/dev/null && dvips -o ${file}.ps ${file}.dvi
     texi2pdf -I ${includedir} -o ${file}.pdf ${filename} </dev/null
     mkdir -p $DOCSDIR/$file
   fi