HTML-Version der Dokumentation in UTF-8 encodieren
doc/skr04-update-3804 nach DocBook gewandelt
Erzeugte PDF- und HTML-Varianten der Dokumentation