From bb83237562576ca1561164715c5787c261b9fffe Mon Sep 17 00:00:00 2001
From: Joseph Myers <joseph@codesourcery.com>
Date: Fri, 6 Jul 2007 17:33:38 +0100
Subject: update_web_docs_svn: Use -o with makeinfo, texi2dvi and texi2pdf
 commands.

	* update_web_docs_svn: Use -o with makeinfo, texi2dvi and texi2pdf
	commands.

From-SVN: r126420
---
 maintainer-scripts/update_web_docs_svn | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'maintainer-scripts/update_web_docs_svn')

diff --git a/maintainer-scripts/update_web_docs_svn b/maintainer-scripts/update_web_docs_svn
index fbb2802..b3ba2bd 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
-- 
cgit v1.1