From 764d27d67cad0f5f7be510641c1d775d197f7993 Mon Sep 17 00:00:00 2001
From: Alejandro Gallo <aamsgallo@gmail.com>
Date: Mon, 14 Mar 2022 15:39:13 +0100
Subject: [PATCH] Docs work

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

diff --git a/configure.ac b/configure.ac
index 381048e..6fd4617 100644
--- a/configure.ac
+++ b/configure.ac
@@ -22,6 +22,12 @@ AC_ARG_ENABLE(shared,
                                      files (default=YES)]),
               [], [enable_shared=yes])
 
+AC_ARG_ENABLE([docs],
+              [AS_HELP_STRING([--enable-docs],
+                              [Enable building docs])],
+              [build_docs=YES], [build_docs=NO])
+
+
 dnl LIBGC library options
 AC_ARG_WITH(libctf-prefix,
             AS_HELP_STRING([--with-libctf-prefix=path],
@@ -104,6 +110,12 @@ else
                   [AC_MSG_ERROR([no ctf.hpp])])
 fi
 
+if test x${build_docs} = xYES; then
+  AC_CHECK_PROGS([DOXYGEN], [doxygen])
+  AC_CHECK_PROGS([DOT], [dot])
+  AC_CHECK_PROGS([EMACS], [emacs])
+fi
+
 AC_CONFIG_FILES([Makefile
                  src/Makefile
                  bench/Makefile