path: root/gendoc.sh

#!/usr/bin/bash
dir=$(mktemp -d)
cp doc/* $dir/
cp README $dir/
fs=$(find $dir -type f)

for f in $fs
do
    ghmd -o ${f}.html $f
done
wkhtmltopdf $dir/README.html $(find $dir -name '*.html' -not -name 'README.html') dokumentation.pdf