diff --git a/documentation/build-documentation.sh b/documentation/build-documentation.sh new file mode 100644 index 0000000..1b8b297 --- /dev/null +++ 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 + + diff --git a/documentation/favicon.png b/documentation/favicon.png deleted file mode 100644 index 8ecd100..0000000 Binary files a/documentation/favicon.png and /dev/null differ diff --git a/documentation/overview-english.png b/documentation/overview-english.png deleted file mode 100644 index 2c388b9..0000000 Binary files a/documentation/overview-english.png and /dev/null differ diff --git a/documentation/overview-german.png b/documentation/overview-german.png deleted file mode 100644 index 7ff301a..0000000 Binary files a/documentation/overview-german.png and /dev/null differ