doc/skr04-update-3804 nach DocBook gewandelt
Doc-Build-Script fixen
dokumentation.pdf zur Klarheit umbenennen
Erzeugte PDF- und HTML-Varianten der Dokumentation
Auch HTML-Variante der Dokumentation bauen
Script zum Bauen der Dokumentation sowie Dobudish-Custom-CFGs