#!/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 cp overview-german.png out/overview-german.png asciidoctor english.adoc -o out/english.html cp overview-english.png out/overview-english.png #cp *-quickstart*.mp4 out/ cp favicon.* out/