* update_web_docs: Use makeinfo --html instead of texi2html.
commitc71e29608c68e5f40b01a75a1d4b7849fdfa4f94
authorjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 17 Dec 2001 19:39:22 +0000 (17 19:39 +0000)
committerjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 17 Dec 2001 19:39:22 +0000 (17 19:39 +0000)
treecb79a6b687f4021f63aa3aae66afd02a59678815
parentf5b3605162e7cf7807500e78f989b0ecf169cd28
* update_web_docs: Use makeinfo --html instead of texi2html.
Remove support for pre-3.1 GCC versions.  Build online docs for
gccint manual.

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