HTML-Version der Dokumentation in UTF-8 encodieren
Erzeugte PDF- und HTML-Varianten der Dokumentation