diff options
| -rw-r--r-- | dokumentation.pdf | bin | 0 -> 126327 bytes | |||
| -rwxr-xr-x | gendoc.sh | 10 |
2 files changed, 10 insertions, 0 deletions
diff --git a/dokumentation.pdf b/dokumentation.pdf Binary files differnew file mode 100644 index 0000000..a6c4642 --- /dev/null +++ b/dokumentation.pdf diff --git a/gendoc.sh b/gendoc.sh new file mode 100755 index 0000000..702dfe3 --- /dev/null +++ b/gendoc.sh @@ -0,0 +1,10 @@ +#!/usr/bin/bash +dir=$(mktemp -d) +cp *.md $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 |