Changes for tex4ht.
Build script and hott-ht file.