From 217c2d383b4c6c57de335e55e3b4943601ddc9be Mon Sep 17 00:00:00 2001
From: Marcello Stanisci <marcello.stanisci@inria.fr>
Date: Thu, 20 Oct 2016 16:16:46 +0200
Subject: Configuring/Compiling texinfo documentaion, + manual stub.

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

(limited to 'configure.ac')

diff --git a/configure.ac b/configure.ac
index 6389eed2..ebd74ed5 100644
--- a/configure.ac
+++ b/configure.ac
@@ -26,6 +26,20 @@ CFLAGS="-Wall $CFLAGS"
 # Checks for header files.
 AC_CHECK_HEADERS([stdint.h stdlib.h string.h unistd.h])
 
+# Check for compiling documentation
+with_doc = yes
+AC_MSG_CHECKING([for compiling documentation])
+AC_ARG_WITH(doc,
+            [AS_HELP_STRING([--with-doc], [Compile documentation])],
+            [AC_MSG_RESULT([given])],
+            [AC_MSG_RESULT(not given)
+	    with_doc = no])
+
+AS_CASE([$with_doc],
+        [yes], AC_CHECK_PROG([texicomp], [texi2pdf], [yes]))
+AS_IF([test "x$with_doc" = "xyes" -a "x$texicomp" != "xyes"], AC_MSG_ERROR([A texinfo compiler is needed. Install texi2pdf.]))
+AM_CONDITIONAL([WITH_DOC], [test "x$with_doc" = "xyes"])
+
 # Check for GNUnet's libgnunetutil.
 libgnunetutil=0
 AC_MSG_CHECKING([for libgnunetutil])
@@ -267,6 +281,7 @@ examples/blog/web-common/Makefile
 examples/shop/Makefile
 examples/shop/web-common/Makefile
 copylib/Makefile
+doc/Makefile
 src/Makefile
 src/include/Makefile
 src/backenddb/Makefile
-- 
cgit v1.2.3