diff options
author | Carl Worth <cworth@cworth.org> | 2008-01-30 04:54:05 -0800 |
---|---|---|
committer | Carl Worth <cworth@cworth.org> | 2008-01-30 04:54:05 -0800 |
commit | 78022f3aa16cf8a629aec4595c5a542ca68a78cc (patch) | |
tree | 3092d7420624a506136237f88e41ca771d455594 /doc | |
parent | d49b1220b2feeca82050de05c9c01012e8420acb (diff) |
Add doc/public test scripts to EXTRA_DIST
This prevents failures of make distcheck
Diffstat (limited to 'doc')
-rw-r--r-- | doc/public/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/public/Makefile.am b/doc/public/Makefile.am index bf80aac3..faca782f 100644 --- a/doc/public/Makefile.am +++ b/doc/public/Makefile.am @@ -74,3 +74,4 @@ check: doc TESTS_ENVIRONMENT = srcdir="$(srcdir)" top_srcdir="$(top_srcdir)" MAKE="$(MAKE)" TESTS = check-doc-coverage.sh check-doc-syntax.sh +EXTRA_DIST += $(TESTS) |