diff options
| -rw-r--r-- | maintainer-scripts/ChangeLog | 4 | ||||
| -rwxr-xr-x | maintainer-scripts/update_web_docs_svn | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog index 3aee9e577c0..71190393b6a 100644 --- a/maintainer-scripts/ChangeLog +++ b/maintainer-scripts/ChangeLog @@ -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 diff --git a/maintainer-scripts/update_web_docs_svn b/maintainer-scripts/update_web_docs_svn index b00e97a1a11..719a2df3c29 100755 --- a/maintainer-scripts/update_web_docs_svn +++ b/maintainer-scripts/update_web_docs_svn @@ -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 |