From 656b6e1d30c5b0c3de055f50e512fd5665b8778b Mon Sep 17 00:00:00 2001
From: Moritz Bunkus <moritz@bunkus.org>
Date: Wed, 11 Jan 2012 15:42:25 +0100
Subject: [PATCH] Auch HTML-Variante der Dokumentation bauen

---
 scripts/build_doc.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/scripts/build_doc.sh b/scripts/build_doc.sh
index 0db7bf330..1e15d298d 100755
--- 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
-- 
2.20.1