add sym2html.pl