From 6a114b2c2cd264dc6be0ed1aa6dbc46548425502 Mon Sep 17 00:00:00 2001
From: Dirk Zimoch <dirk.zimoch@psi.ch>
Date: Wed, 14 Jun 2017 17:07:38 +0200
Subject: [PATCH] check if wkhtmltopdf is installed, else print message

---
 documentation/makepdf | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/documentation/makepdf b/documentation/makepdf
index 38fc673..1367310 100755
--- 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