X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=configure.ac;h=19e75ae4253ab363c2bc0f86ba1f8dfea05a0416;hb=7f29d0087469a64e618ab1a2fc1bb204c6f4ae4f;hp=1e6edf6d697beeb82e8eab7deaa03b2eacef823c;hpb=58c762effe6bbe1ee418b57a1f461bbd33173bd2;p=pspp

diff --git a/configure.ac b/configure.ac
index 1e6edf6d69..19e75ae425 100644
--- a/configure.ac
+++ b/configure.ac
@@ -2,7 +2,7 @@ dnl Process this file with autoconf to produce a configure script.
 
 dnl Initialize.
 AC_PREREQ(2.63)
-AC_INIT([GNU PSPP], [0.8.4], [bug-gnu-pspp@gnu.org], [pspp])
+AC_INIT([GNU PSPP], [0.9.0], [bug-gnu-pspp@gnu.org], [pspp])
 AC_CONFIG_AUX_DIR([build-aux])
 AC_CONFIG_HEADERS([config.h])
 AC_CONFIG_TESTDIR([tests])
@@ -55,10 +55,12 @@ if test "$with_cairo" != no; then
      AC_DEFINE([HAVE_CAIRO], 1, 
        [Define to 1 if Cairo and Pango are available.])],
     [PSPP_REQUIRED_PREREQ([cairo 1.5 or later and pango 1.22 or later (or use --without-cairo)])])
-  AC_PATH_PROG([XMLLINT], [xmllint], [echo], [$PATH])
-  AC_SUBST(XMLLINT)
 fi
 
+dnl Xmllint may be required to build the documentation
+AC_PATH_PROG([XMLLINT], [xmllint], [echo], [$PATH])
+AC_SUBST(XMLLINT)
+
 # Support for GUI.
 AC_ARG_WITH([gui], 
   [AS_HELP_STRING([--without-gui],