diff options
| author | Aleksander Morgado <aleksander@lanedo.com> | 2012-02-28 00:17:16 +0100 |
|---|---|---|
| committer | Aleksander Morgado <aleksander@lanedo.com> | 2012-03-16 14:53:17 +0100 |
| commit | ca9104dcb4a9d84f6fb224510f17bb24e3d823a8 (patch) | |
| tree | 92a10583075bf69425bd39467f80783078d2eec3 /configure.ac | |
| parent | e26f6ef1769349cdfa81b4265b35f514559ca16c (diff) | |
build: generate PNG files automatically from DIA files
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 0d22e378..1f65ae27 100644 --- a/configure.ac +++ b/configure.ac @@ -29,6 +29,14 @@ 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 ;; *) |