Update the docs for src2html.