* update_web_docs: Set SOURCEDIR so that install manual can be
authorjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 6 Nov 2001 17:59:19 +0000 (17:59 +0000)
committerjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 6 Nov 2001 17:59:19 +0000 (17:59 +0000)
commit23130820755470f418311c36dacf3779713ac138
treef0d3139bba7a2e9be4b6f93f8f70d4cde1f64b34
parent3beae7590c308268cfe08487ec15a39b8d84cbc9
* update_web_docs: Set SOURCEDIR so that install manual can be
found when running install.texi2html.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@46810 138bc75d-0d04-0410-961f-82ee72b054a4
maintainer-scripts/ChangeLog
maintainer-scripts/update_web_docs