generate more docs using latex2html