summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorCarl Worth <cworth@cworth.org>2008-01-30 04:54:05 -0800
committerCarl Worth <cworth@cworth.org>2008-01-30 04:54:05 -0800
commit78022f3aa16cf8a629aec4595c5a542ca68a78cc (patch)
tree3092d7420624a506136237f88e41ca771d455594 /doc
parentd49b1220b2feeca82050de05c9c01012e8420acb (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.am1
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)