replace-texi2html-with-makeinfo
