diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2015-02-25 11:27:43 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-02-25 12:27:43 +0100 |
| commit | 1d3d9afaff77287cdcbf6af5b4a4f54d0dc39119 (patch) | |
| tree | dd816c2937624623e85874d087e2ea9c18565a90 /maintainer-scripts | |
| parent | 18c2bed36cb5775ed40b5678d25cc31e0dc10ede (diff) | |
* update_web_docs_svn: Add -I gcc/gcc/ada/doc/gnat_ugn for gnat_ugn
From-SVN: r220961
Diffstat (limited to 'maintainer-scripts')
| -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 |