diff options
| author | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-07-06 16:33:38 +0000 |
|---|---|---|
| committer | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-07-06 16:33:38 +0000 |
| commit | 0d92a30690fcb5f655a82ea2609aee2ba03022d3 (patch) | |
| tree | d5796f3d1af1334301957d62826fcfa761736811 /maintainer-scripts/update_web_docs_svn | |
| parent | db1c99deee13fafacd47e6dda0ecdc5c7c80aa83 (diff) | |
| download | gcc-0d92a30690fcb5f655a82ea2609aee2ba03022d3.tar.gz | |
* update_web_docs_svn: Use -o with makeinfo, texi2dvi and texi2pdf
commands.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@126420 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'maintainer-scripts/update_web_docs_svn')
| -rwxr-xr-x | maintainer-scripts/update_web_docs_svn | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/maintainer-scripts/update_web_docs_svn b/maintainer-scripts/update_web_docs_svn index fbb2802f82f..b3ba2bd6b57 100755 --- a/maintainer-scripts/update_web_docs_svn +++ b/maintainer-scripts/update_web_docs_svn @@ -152,10 +152,10 @@ fi for file in $MANUALS; do filename=`find . -name ${file}.texi` if [ "${filename}" ]; then - makeinfo --html -I ${includedir} -I `dirname ${filename}` ${filename} + makeinfo --html -I ${includedir} -I `dirname ${filename}` -o ${file} ${filename} tar cf ${file}-html.tar ${file}/*.html - texi2dvi -I ${includedir} ${filename} </dev/null && dvips -o ${file}.ps ${file}.dvi - texi2pdf -I ${includedir} ${filename} </dev/null + texi2dvi -I ${includedir} -o ${file}.dvi ${filename} </dev/null && dvips -o ${file}.ps ${file}.dvi + texi2pdf -I ${includedir} -o ${file}.pdf ${filename} </dev/null mkdir -p $DOCSDIR/$file fi done |