docs

6 years ago · 390e3246e5
4 changed files with 12 additions and 0 deletions
--- a/documentation/build-documentation.sh
+++ b/documentation/build-documentation.sh
@ -0,0 +1,12 @@
+#!/bin/sh
+
+#The documentation is built statically and does not belong to the normal build process with configure and make
+#Its updating is part of the development process, not packaging and running.
+#The correct out/ dir is already part of git.
+
+set -e
+asciidoctor index.adoc -o out/index.html
+asciidoctor german.adoc -o out/german.html
+asciidoctor english.adoc -o out/english.html
+
+
--- a/documentation/favicon.png
+++ b/documentation/favicon.png
--- a/documentation/overview-english.png
+++ b/documentation/overview-english.png
--- a/documentation/overview-german.png
+++ b/documentation/overview-german.png