add html output for the documentation (using tex4ht)