Generate HTML doc using makeinfo, instead of obsolecent texi2html