add bin/src2html