diff options
author | Behdad Esfahbod <behdad@behdad.org> | 2008-09-15 16:19:12 -0400 |
---|---|---|
committer | Behdad Esfahbod <behdad@behdad.org> | 2008-09-15 16:19:12 -0400 |
commit | 856fedd2359604ad2dca67c505e16111f23f1b61 (patch) | |
tree | af775d55044ec8a1232d238080340c6beced9b94 /doc | |
parent | 2ab77236f87b435d41c5429b7b3059d10058e421 (diff) |
[doc] Make "make check" build without gtk-doc
Diffstat (limited to 'doc')
-rw-r--r-- | doc/public/Makefile.am | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/doc/public/Makefile.am b/doc/public/Makefile.am index dfc26c8b..d83dd55c 100644 --- a/doc/public/Makefile.am +++ b/doc/public/Makefile.am @@ -50,8 +50,11 @@ include $(top_srcdir)/build/Makefile.am.gtk-doc dist-hook: doc +if ENABLE_GTK_DOC check: doc +TESTS += check-doc-coverage.sh +endif -TESTS_ENVIRONMENT = srcdir="$(srcdir)" top_srcdir="$(top_srcdir)" MAKE="$(MAKE)" -TESTS += check-doc-coverage.sh check-doc-syntax.sh -EXTRA_DIST += $(TESTS) +TESTS += check-doc-syntax.sh +EXTRA_DIST += check-doc-coverage.sh check-doc-syntax.sh +TESTS_ENVIRONMENT = srcdir="$(srcdir)" top_srcdir="$(top_srcdir)" MAKE="$(MAKE) $(AM_MAKEFLAGS)" |