From 17fef6caaf0a1bfb77dde896675997d2bfc9e873 Mon Sep 17 00:00:00 2001
From: Brian Anderson <banderson@mozilla.com>
Date: Wed, 18 Jan 2012 14:32:15 -0800
Subject: [PATCH] configure: Don't use pandoc < 1.8. Closes #1513

---
 configure | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/configure b/configure
index 71ee86389d3..44e73ae901b 100755
--- a/configure
+++ b/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