From 0abcc6cededeaf6d82ddce0199cc52f054c4da14 Mon Sep 17 00:00:00 2001
From: jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Thu, 24 Jun 2010 15:52:46 +0000
Subject: 	* update_web_docs_svn: Also pass -I option pointing to ada/
 source 	directory for Ada manual.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@161324 138bc75d-0d04-0410-961f-82ee72b054a4
---
 maintainer-scripts/ChangeLog           |  5 +++++
 maintainer-scripts/update_web_docs_svn | 10 +++++++---
 2 files changed, 12 insertions(+), 3 deletions(-)

(limited to 'maintainer-scripts')

diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog
index c790359f238..773bf6b21d2 100644
--- a/maintainer-scripts/ChangeLog
+++ b/maintainer-scripts/ChangeLog
@@ -1,3 +1,8 @@
+2010-06-24  Joseph Myers  <joseph@codesourcery.com>
+
+	* update_web_docs_svn: Also pass -I option pointing to ada/ source
+	directory for Ada manual.
+
 2010-04-16  Joseph Myers  <joseph@codesourcery.com>
 
 	* crontab: Enable 4.6 snapshots.
diff --git a/maintainer-scripts/update_web_docs_svn b/maintainer-scripts/update_web_docs_svn
index 8fb59fd90b5..a8fb3957dfe 100755
--- a/maintainer-scripts/update_web_docs_svn
+++ b/maintainer-scripts/update_web_docs_svn
@@ -153,10 +153,14 @@ fi
 for file in $MANUALS; do
   filename=`find . -name ${file}.texi`
   if [ "${filename}" ]; then
-    makeinfo --html -I ${includedir} -I `dirname ${filename}` -o ${file} ${filename}
+    includes="-I ${includedir} -I `dirname ${filename}`"
+    if [ "$file" = "gnat_ugn_unw" ]; then
+      includes="$includes -I gcc/gcc/ada"
+    fi
+    makeinfo --html $includes -o ${file} ${filename}
     tar cf ${file}-html.tar ${file}/*.html
-    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
+    texi2dvi $includes -o ${file}.dvi ${filename} </dev/null >/dev/null && dvips -o ${file}.ps ${file}.dvi
+    texi2pdf $includes -o ${file}.pdf ${filename} </dev/null
     mkdir -p $DOCSDIR/$file
   fi
 done
-- 
cgit v1.2.1