From dd16a3601032a54d6ddd1f3a6b1145d29068a6f9 Mon Sep 17 00:00:00 2001 From: Jelmer Vernooij Date: Wed, 8 Sep 2004 15:25:28 +0000 Subject: use $DIA instead of 'dia' (This used to be commit f1876e1c3daca4b9981ce129a60c4979804ef033) --- docs/configure.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/configure.in b/docs/configure.in index 2ca88d4330..365d44779f 100644 --- a/docs/configure.in +++ b/docs/configure.in @@ -43,7 +43,7 @@ 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_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` -- cgit