diff -r 38d225efcea9 -r b24de4b465ea docs/tutorial/prepare_pandoc.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/docs/tutorial/prepare_pandoc.sh	Wed Dec 18 14:10:49 2019 +0100
@@ -0,0 +1,32 @@
+#!/bin/bash
+set -euo pipefail
+
+# Prepare pandoc filters
+if [ -d pandocfilters/.git ]; then
+    (cd pandocfilters && git remote update && git merge --ff-only)
+else
+    git clone https://github.com/octobus-net/pandocfilters.git
+fi
+
+# Dependencies for pandoc and its filters itself
+python -m pip install pandocfilters
+python -m pip install panflute
+python -m pip install pygraphviz
+
+CMD_NOT_FOUND=0
+check_command() {
+    cmd=$1
+    if ! which "$cmd" >/dev/null 2>&1; then
+        echo "Error: command '$cmd' not found in \$PATH"
+        echo "Please install '$cmd'"
+        CMD_NOT_FOUND=1
+    else
+        echo "$cmd command was found"
+    fi
+}
+
+check_command pandoc
+
+if [ "$CMD_NOT_FOUND" -ne "0" ]; then
+    exit 1
+fi