diff options
| -rw-r--r-- | maintainer-scripts/ChangeLog | 4 | ||||
| -rwxr-xr-x | maintainer-scripts/update_web_docs_svn | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog index 0485bdf0bd1..456a9138387 100644 --- a/maintainer-scripts/ChangeLog +++ b/maintainer-scripts/ChangeLog @@ -1,3 +1,7 @@ +2015-02-25 Arnaud Charlet <charlet@adacore.com> + + * update_web_docs_svn: Add -I gcc/gcc/ada/doc/gnat_ugn for gnat_ugn + 2015-02-06 David Malcolm <dmalcolm@redhat.com> PR jit/64257 diff --git a/maintainer-scripts/update_web_docs_svn b/maintainer-scripts/update_web_docs_svn index 7832eed2ccb..a32359e0ca4 100755 --- a/maintainer-scripts/update_web_docs_svn +++ b/maintainer-scripts/update_web_docs_svn @@ -155,7 +155,7 @@ for file in $MANUALS; do if [ "${filename}" ]; then includes="-I ${includedir} -I `dirname ${filename}`" if [ "$file" = "gnat_ugn" ]; then - includes="$includes -I gcc/gcc/ada" + includes="$includes -I gcc/gcc/ada -I gcc/gcc/ada/doc/gnat_ugn" fi makeinfo --html $includes -o ${file} ${filename} tar cf ${file}-html.tar ${file}/*.html |