check if wkhtmltopdf is installed, else print message

2017-06-14 17:07:38 +02:00
parent bf29238762
commit 6a114b2c2c
1 changed files with 8 additions and 0 deletions
--- a/documentation/makepdf
+++ b/documentation/makepdf
@ -1,3 +1,11 @@
+#/bin/sh
+if ! wkhtmltopdf -V >/dev/null 2>&1
+then
+    echo "wkhtmltopdf not installed."
+    echo "See https://wkhtmltopdf.org"
+    exit 1
+fi >&2
+
 PAGES="
 index.html
 setup.html