* update_web_docs_svn: Also pass -I option pointing to ada/ source
commit0abcc6cededeaf6d82ddce0199cc52f054c4da14
authorjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 24 Jun 2010 15:52:46 +0000 (24 15:52 +0000)
committerjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 24 Jun 2010 15:52:46 +0000 (24 15:52 +0000)
tree0f2aefab536524af976c7b19a32fc271781728f3
parentb9bdfa0b5e77a7cda48485892b5dae675ee203cd
* 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
maintainer-scripts/ChangeLog
maintainer-scripts/update_web_docs_svn