* update_web_docs: Use /usr/local/bin/texi2html rather than
commit429eb4fcb2789d34a652f7d2374ab9503e7caa46
authorjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 15 Mar 2001 08:16:32 +0000 (15 08:16 +0000)
committerjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 15 Mar 2001 08:16:32 +0000 (15 08:16 +0000)
tree01246eb74171ceceed30318a4812c3759a59b165
parent37b022e9e4a7d82275c2325332ee5cdb6ae3dc9f
* update_web_docs: Use /usr/local/bin/texi2html rather than
gccadmin's local copy.

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