build: Fix error during configure if gnome-doc-utils is not installed

Always set the ENABLE_SK conditional, so that it is defined even if
GNOME_DOC_INIT is not called. Fixes issue #198.
This commit is contained in:
Bertrand Lorentz 2011-06-06 20:35:05 +02:00
parent 903691f990
commit 1c98367ad1

View file

@ -12,11 +12,11 @@ AC_DEFUN([SHAMROCK_CHECK_GNOME_DOC_UTILS],
PKG_CHECK_MODULES(GNOME_DOC_UTILS, gnome-doc-utils)
fi
# GNOME_DOC_INIT sets ENABLE_SK, but if we have disabled
# user docs, then this needs to be defined manually.
AM_CONDITIONAL(ENABLE_SK, false)
if test "x$enable_user_help" = "xyes"; then
GNOME_DOC_INIT([$1], enable_user_help=yes, enable_user_help=no)
else
AM_CONDITIONAL(ENABLE_SK, false)
fi
AM_CONDITIONAL(HAVE_GNOME_DOC_UTILS, test "x$enable_user_help" = "xyes")
])