* update_web_docs: Use makeinfo --html instead of texi2html.