diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-02-25 11:27:43 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-02-25 11:27:43 +0000 |
| commit | 2e8a4fd87fe502874fe7a0462f1c3a86252e69a7 (patch) | |
| tree | dd816c2937624623e85874d087e2ea9c18565a90 /maintainer-scripts/update_web_docs_svn | |
| parent | 8cf5159e725103736b902f931a883a84edd0ff07 (diff) | |
| download | gcc-2e8a4fd87fe502874fe7a0462f1c3a86252e69a7.tar.gz | |
* update_web_docs_svn: Add -I gcc/gcc/ada/doc/gnat_ugn for gnat_ugn
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@220961 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'maintainer-scripts/update_web_docs_svn')
| -rwxr-xr-x | maintainer-scripts/update_web_docs_svn | 2 |
1 files changed, 1 insertions, 1 deletions
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 |