script to convert trac to html