Fix link for texi2html