Auch HTML-Variante der Dokumentation bauen