diff options
author | Aleksander Morgado <aleksander@lanedo.com> | 2013-05-23 13:10:58 +0200 |
---|---|---|
committer | Aleksander Morgado <aleksander@lanedo.com> | 2013-05-26 19:16:39 +0200 |
commit | 3ed1cb2e1dd111ed0e5435bbc88396b42180df1d (patch) | |
tree | 4cc8563c0b7199e9df4472037b8c88e6f832ac54 /configure.ac | |
parent | 5c8f1fe0f25973a248b3fe7418d154fa400d07cc (diff) |
docs: don't require 'dia' to build the docs
These diagrams are not expected to change much, so just include the generated
PNGs in the repository, and remove 'dia' from the prerequisites to build the
documentation.
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/configure.ac b/configure.ac index bfa54a17..3bc03ac2 100644 --- a/configure.ac +++ b/configure.ac @@ -29,14 +29,6 @@ AC_ARG_WITH(docs, AS_HELP_STRING([--with-docs], [Build ModemManager documentatio AM_CONDITIONAL(WITH_DOCS, test "x$with_docs" = "xyes") case $with_docs in yes) - # Check for dia if we are building gtk_doc - AC_PATH_PROG(DIA, dia) - AC_SUBST(DIA) - - if test -z "$DIA"; then - AC_MSG_ERROR([Could not find Dia tool required to build documentation.]) - fi - enable_gtk_doc=yes ;; *) |