Auch HTML-Variante der Dokumentation bauen

diff --git a/scripts/build_doc.sh b/scripts/build_doc.sh
index 0db7bf3..1e15d29 100755 (executable)
--- a/scripts/build_doc.sh
+++ b/scripts/build_doc.sh
@@ -36,5 +36,9 @@ rm -f ${custom}/*
 cp -R ../custom-cfg/* ${custom}/
 
 ./generator.sh dokumentation pdf
-
 cp ${output}/pdf/dokumentation.pdf ../../
+
+./generator.sh dokumentation html
+rm -rf ../../html
+mkdir ../../html
+cp -R ${output}/html ../../html