From 28777eeebf38c13a43d0118a86391d2a487ad15b Mon Sep 17 00:00:00 2001
From: Stef Walter <stefw@gnome.org>
Date: Tue, 5 Feb 2013 10:21:49 +0100
Subject: Add a p11-kit tool manual page

---
 configure.ac | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'configure.ac')

diff --git a/configure.ac b/configure.ac
index 1c93729..426be4f 100644
--- a/configure.ac
+++ b/configure.ac
@@ -127,6 +127,7 @@ AC_PATH_PROG([GTKDOC_CHECK],[gtkdoc-check])
 AC_PATH_PROGS([GTKDOC_REBASE],[gtkdoc-rebase],[true])
 AC_PATH_PROG([GTKDOC_MKPDF],[gtkdoc-mkpdf])
 AC_PATH_PROG([GTKDOC_SCAN],[gtkdoc-scan])
+AC_PATH_PROG([XSLTPROC], [xsltproc])
 
 dnl for overriding the documentation installation directory
 AC_ARG_WITH([html-dir],
@@ -145,6 +146,9 @@ if test x$enable_doc = xyes; then
 	if test -z "$GTKDOC_SCAN"; then
 		AC_MSG_ERROR([gtk-doc not installed and --enable-doc requested])
 	fi
+	if test -z "$XSLTPROC"; then
+		AC_MSG_ERROR([the xsltproc command was not found and --enable-doc requested])
+	fi
 	doc_status="yes (manual, gtk-doc reference)"
 else
 	enable_doc=no
-- 
cgit v1.1