* update_web_docs_svn: Redirect output of texi2dvi to /dev/null.
authorGerald Pfeifer <gerald@pfeifer.com>
Thu, 23 Apr 2009 13:30:49 +0000 (13:30 +0000)
committerGerald Pfeifer <gerald@gcc.gnu.org>
Thu, 23 Apr 2009 13:30:49 +0000 (13:30 +0000)
From-SVN: r146648

maintainer-scripts/ChangeLog
maintainer-scripts/update_web_docs_svn

index 3aee9e577c07121683e3f9f5fc684612fbcd08c1..71190393b6a304c19dcc39460a697d903eb3c1db 100644 (file)
@@ -1,3 +1,7 @@
+2009-04-23  Gerald Pfeifer  <gerald@pfeifer.com>
+
+       * update_web_docs_svn: Redirect output of texi2dvi to /dev/null.
+
 2009-04-09  Jakub Jelinek  <jakub@redhat.com>
 
        * gcc_release: Change copyright header to refer to version
index b00e97a1a117229fb6eafb836e2dcfe5b5c8f96d..719a2df3c29afa2356636dc2217bb8420fe9350f 100755 (executable)
@@ -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