Build system for tex4ht