diff options
author | Chris Wilson <chris@chris-wilson.co.uk> | 2008-01-29 09:29:10 +0000 |
---|---|---|
committer | Chris Wilson <chris@chris-wilson.co.uk> | 2008-02-15 13:50:41 +0000 |
commit | f59f22eecba7cbf2151e01533ba936ca94d25056 (patch) | |
tree | 1e54e800322456e417336eaf03b0c167536ad2a6 /doc | |
parent | e5f0253b67801ad79eb881e189b9835aea0fcf57 (diff) |
[check] Only build documents during make check if we have GTK_DOC
Check that gtk-doc has been enabled before running attempting to build
the docs during make check.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/public/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/public/Makefile.am b/doc/public/Makefile.am index faca782f..bd5036eb 100644 --- a/doc/public/Makefile.am +++ b/doc/public/Makefile.am @@ -70,7 +70,9 @@ include $(top_srcdir)/gtk-doc.make # Version information for marking the documentation EXTRA_DIST += version.xml.in +if ENABLE_GTK_DOC check: doc +endif TESTS_ENVIRONMENT = srcdir="$(srcdir)" top_srcdir="$(top_srcdir)" MAKE="$(MAKE)" TESTS = check-doc-coverage.sh check-doc-syntax.sh |