diff options
| author | Gerald Pfeifer <gerald@pfeifer.com> | 2009-04-23 13:30:49 +0000 |
|---|---|---|
| committer | Gerald Pfeifer <gerald@gcc.gnu.org> | 2009-04-23 13:30:49 +0000 |
| commit | b809fa7d64ae210e37c6bb211013a529cd6de193 (patch) | |
| tree | b22e3974d3d904333d7b811588cccd79bbaac371 /maintainer-scripts/update_web_docs_svn | |
| parent | 4fd78fe6b06038331d017caff80972836b51e3c0 (diff) | |
| download | gcc-b809fa7d64ae210e37c6bb211013a529cd6de193.zip gcc-b809fa7d64ae210e37c6bb211013a529cd6de193.tar.gz gcc-b809fa7d64ae210e37c6bb211013a529cd6de193.tar.bz2 | |
* update_web_docs_svn: Redirect output of texi2dvi to /dev/null.
From-SVN: r146648
Diffstat (limited to 'maintainer-scripts/update_web_docs_svn')
| -rwxr-xr-x | maintainer-scripts/update_web_docs_svn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/maintainer-scripts/update_web_docs_svn b/maintainer-scripts/update_web_docs_svn index b00e97a..719a2df 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 |