#!/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 cp ../desktop/images/favicon.* out/ cp ../desktop/images/1248-transparent.png out/logo.png