Handle dia not being present more gracefully.

(This used to be commit 71a59a3e75bbe482c3ee48e897cfbb462c269af2)

diff --git a/docs/configure.in b/docs/configure.in
index 9d336e232085417e4498ff22143cb6536ed7df27..3e4157af270bf3fa313f714e6624992268bde0c6 100644 (file)
--- a/docs/configure.in
+++ b/docs/configure.in
@@ -19,16 +19,19 @@ DOCS_TARGET_REQUIRE_PROGRAM(RM, rm, ALL)
 DOCS_TARGET_REQUIRE_PROGRAM(DIA, dia, ALL)
 
 # Check dia version number
-[ DIA_VERSION=`$DIA -v | egrep -o '([0-9]+)\.([0-9]+)'`]
-DIA_MAJ_VERSION=`echo $DIA_VERSION | cut -d . -f 1`
-DIA_MIN_VERSION=`echo $DIA_VERSION | cut -d . -f 2`
 
-if test "$DIA_MAJ_VERSION" -le "0"
-then
+if test -n "$DIA"; then
+   [ DIA_VERSION=`$DIA -v | egrep -o '([0-9]+)\.([0-9]+)'`]
+   DIA_MAJ_VERSION=`echo $DIA_VERSION | cut -d . -f 1`
+   DIA_MIN_VERSION=`echo $DIA_VERSION | cut -d . -f 2`
+
+   if test "$DIA_MAJ_VERSION" -le "0"
+   then
        if test "$DIA_MIN_VERSION" -le "92" && test -z "$DISPLAY" 
        then
                AC_MSG_ERROR([Dia below 0.93 requires an X environment. Set \$DISPLAY or install Dia 0.93 or higher])
        fi
+   fi   
 fi
 
 DOCS_TARGET_REQUIRE_PROGRAM(MAKEINDEX, makeindex, LATEX)