Update doc2html.xsl