From 17af34b4a438a80d3dcad93bb5254366791a488f Mon Sep 17 00:00:00 2001 From: "Paulo R. Zanoni" Date: Fri, 18 Sep 2009 15:05:46 -0300 Subject: Don't build docs if 'dot' is not found Signed-off-by: Paulo R. Zanoni --- acinclude.m4 | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/acinclude.m4 b/acinclude.m4 index bc98150..ad24bc2 100644 --- a/acinclude.m4 +++ b/acinclude.m4 @@ -102,6 +102,11 @@ AC_ARG_WITH( AC_MSG_WARN( [Warning: no doxygen detected. Documentation will not be built]) fi]) + AC_PATH_PROG(DOT, dot, no) + if test "$DOT" = "no"; then + AC_MSG_WARN([Warning: no dot detected. Documentation will not be built]) + BUILD_DOCS="no" + fi fi AC_MSG_CHECKING([whether documentation is built]) AC_MSG_RESULT([${BUILD_DOCS}]) -- cgit v1.2.3