diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/configure.in | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/docs/configure.in b/docs/configure.in index 1471e43070..2ca88d4330 100644 --- a/docs/configure.in +++ b/docs/configure.in @@ -41,6 +41,20 @@ AC_SUBST(SAMBASOURCEDIR) DOCS_TARGET_REQUIRE_PROGRAM(XSLTPROC, xsltproc, ALL) 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 "$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 + DOCS_TARGET_REQUIRE_PROGRAM(MAKEINDEX, makeindex, LATEX) DOCS_TARGET_REQUIRE_PROGRAM(PDFLATEX, pdflatex, PDF) DOCS_TARGET_REQUIRE_PROGRAM(EPSTOPDF, epstopdf, PDF) |