mirror of git://gcc.gnu.org/git/gcc.git
update_web_docs_svn: Also pass -I option pointing to ada/ source directory for Ada manual.
* update_web_docs_svn: Also pass -I option pointing to ada/ source directory for Ada manual. From-SVN: r161324
This commit is contained in:
parent
d166d4c3e5
commit
4f8f9b8fa5
|
@ -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>
|
2010-04-16 Joseph Myers <joseph@codesourcery.com>
|
||||||
|
|
||||||
* crontab: Enable 4.6 snapshots.
|
* crontab: Enable 4.6 snapshots.
|
||||||
|
|
|
@ -153,10 +153,14 @@ fi
|
||||||
for file in $MANUALS; do
|
for file in $MANUALS; do
|
||||||
filename=`find . -name ${file}.texi`
|
filename=`find . -name ${file}.texi`
|
||||||
if [ "${filename}" ]; then
|
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
|
tar cf ${file}-html.tar ${file}/*.html
|
||||||
texi2dvi -I ${includedir} -o ${file}.dvi ${filename} </dev/null >/dev/null && dvips -o ${file}.ps ${file}.dvi
|
texi2dvi $includes -o ${file}.dvi ${filename} </dev/null >/dev/null && dvips -o ${file}.ps ${file}.dvi
|
||||||
texi2pdf -I ${includedir} -o ${file}.pdf ${filename} </dev/null
|
texi2pdf $includes -o ${file}.pdf ${filename} </dev/null
|
||||||
mkdir -p $DOCSDIR/$file
|
mkdir -p $DOCSDIR/$file
|
||||||
fi
|
fi
|
||||||
done
|
done
|
||||||
|
|
Loading…
Reference in New Issue