diff options
author | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-06-24 15:52:46 +0000 |
---|---|---|
committer | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-06-24 15:52:46 +0000 |
commit | 0abcc6cededeaf6d82ddce0199cc52f054c4da14 (patch) | |
tree | 0f2aefab536524af976c7b19a32fc271781728f3 /maintainer-scripts | |
parent | b9bdfa0b5e77a7cda48485892b5dae675ee203cd (diff) | |
download | gcc-0abcc6cededeaf6d82ddce0199cc52f054c4da14.tar.gz |
* 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
Diffstat (limited to 'maintainer-scripts')
-rw-r--r-- | maintainer-scripts/ChangeLog | 5 | ||||
-rwxr-xr-x | maintainer-scripts/update_web_docs_svn | 10 |
2 files changed, 12 insertions, 3 deletions
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 |