From 2c1ed186fc2a4ccfa49d8395fe1aae85b10e402b Mon Sep 17 00:00:00 2001 From: Tony Young Date: Thu, 18 Oct 2012 22:56:22 +1300 Subject: [PATCH] Check pandoc's version correctly for >=1.10. --- configure | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/configure b/configure index 40c6acead0e..cd500b6ec43 100755 --- a/configure +++ b/configure @@ -362,10 +362,10 @@ fi if [ ! -z "$CFG_PANDOC" ] then - PV=$(pandoc --version | awk '/^pandoc/ {print $2}') - if [ "$PV" \< "1.8" ] + read PV_MAJOR PV_MINOR <<<$(pandoc --version | awk '/^pandoc/ {split($2, PV, "."); print PV[1] " " PV[2]}') + if [ "$PV_MAJOR" -lt "1" ] || [ "$PV_MINOR" -lt "8" ] then - step_msg "pandoc $PV is too old. disabling" + step_msg "pandoc $PV_MAJOR.$PV_MINOR is too old. disabling" BAD_PANDOC=1 fi fi