configure: Don't use pandoc < 1.8. Closes #1513

configure

@@ -298,6 +298,16 @@ then
     probe CFG_NODE         nodejs
 fi
 
+if [ ! -z "$CFG_PANDOC" ]
+then
+    PV=$(pandoc --version | awk '/^pandoc/ {print $2}')
+    if [ "$PV" \< "1.8" ]
+    then
+	step_msg "pandoc $PV is too old. disabling"
+	BAD_PANDOC=1
+    fi
+fi
+
 if [ -z "$CFG_ENABLE_CLANG" -a -z "$CFG_GCC" ]
 then
     err "either clang or gcc is required"
@@ -616,6 +626,13 @@ then
     putvar CFG_DISABLE_MANAGE_SUBMODULES
 fi
 
+# Ditto for pandoc
+if [ ! -z $BAD_PANDOC ]
+then
+    CFG_PANDOC=
+    putvar CFG_PANDOC
+fi
+
 if head -n 1 ${CFG_SRC_DIR}src/snapshots.txt | grep -q '^T'
 then
     CFG_IN_TRANSITION=1