diff options
| author | Paulo R. Zanoni <pzanoni@mandriva.com> | 2009-09-18 15:05:46 -0300 |
|---|---|---|
| committer | Adam Jackson <ajax@redhat.com> | 2009-09-18 17:14:04 -0400 |
| commit | 17af34b4a438a80d3dcad93bb5254366791a488f (patch) | |
| tree | 87dbb54245265c7c1fecf00862a9e5eaf1960308 | |
| parent | 29207e2943ad56fb8b4d2b7f07b1530cb1d7d9be (diff) | |
Don't build docs if 'dot' is not found Signed-off-by: Paulo R. Zanoni <pzanoni@mandriva.com>
| -rw-r--r-- | acinclude.m4 | 5 |
1 files changed, 5 insertions, 0 deletions
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}]) |