update_web_docs: Use makeinfo --html instead of texi2html.
* update_web_docs: Use makeinfo --html instead of texi2html. Remove support for pre-3.1 GCC versions. Build online docs for gccint manual. From-SVN: r48120
Showing
Please
register
or
sign in
to comment