From 3d76a751934786383786b3ba3daf7e9f4bf08822 Mon Sep 17 00:00:00 2001 From: Luqman Aden Date: Thu, 18 Oct 2012 20:58:57 -0400 Subject: [PATCH] configure: check for pandoc version properly. --- configure | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/configure b/configure index c275b1a096a..da1be03dfba 100755 --- a/configure +++ b/configure @@ -363,11 +363,12 @@ fi if [ ! -z "$CFG_PANDOC" ] then - PANDOC_VER_LINE=$(pandoc --version | grep '^pandoc ') - PANDOC_VER=${PANDOC_VER_LINE#pandoc } - PV_MAJOR_MINOR=${PANDOC_VER%.[0-9]} - PV_MAJOR=${PV_MAJOR_MINOR%.[0-9]} - PV_MINOR=${PV_MAJOR_MINOR#[0-9].} + PANDOC_VER_LINE=$(pandoc --version | grep '^pandoc ') + PANDOC_VER=${PANDOC_VER_LINE#pandoc } + PV_MAJOR_MINOR=${PANDOC_VER%.[0-9]*} + PV_MAJOR=${PV_MAJOR_MINOR%%[.][0-9]*} + PV_MINOR=${PV_MAJOR_MINOR#[0-9]*[.]} + PV_MINOR=${PV_MINOR%%[.][0-9]*} if [ "$PV_MAJOR" -lt "1" ] || [ "$PV_MINOR" -lt "8" ] then step_msg "pandoc $PV_MAJOR.$PV_MINOR is too old. disabling" -- 2.44.0