Typeset revision in html script.