diff options
author | Benjamin Otte <otte@gnome.org> | 2008-12-28 19:59:48 +0100 |
---|---|---|
committer | Benjamin Otte <otte@gnome.org> | 2008-12-28 19:59:48 +0100 |
commit | d279c9d1b5de636f577ffd08860e2dfd9d111cc1 (patch) | |
tree | 2cc1707b521be0f96e1dcbab6a7b010da5105650 | |
parent | 4896d9248458771f0335ef20aab9d174cbb46792 (diff) |
fix build for --disable-gtk-doc
-rw-r--r-- | doc/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 7e2f9e8a..8ede8bd6 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -222,8 +222,9 @@ include $(top_srcdir)/gtk-doc.make # e.g. EXTRA_DIST += version.xml.in EXTRA_DIST += +if ENABLE_GTK_DOC # Comment this out if you want your docs-status tested during 'make check' check-local: (cd $(srcdir) \ && $(GTKDOC_CHECK)) - +endif |