Check docs as part of "make check"

Adds "xmllint" to the requirements for running "make check"

git-svn-id: http://svn.osgeo.org/postgis/trunk@9475 b70326c6-7e19-0410-871a-916f4a2858ee

diff --git a/GNUmakefile.in b/GNUmakefile.in
index 5d13c12c6c36860a30f5282aed14e8f4d1f94725..5410a16680c44b8f8b86be82a5627ea79cebd9fe 100644 (file)
--- a/GNUmakefile.in
+++ b/GNUmakefile.in
@@ -33,7 +33,7 @@ clean-local:
 # TODO: drop 'test' target..
 test: check
 
-check: all
+check: all docs-check
 
 distclean: clean distclean-local
 
@@ -82,6 +82,9 @@ docs:
 docs-clean:
        $(MAKE) -C doc clean
 
+docs-check:
+       $(MAKE) -C doc check
+
 comments:
        $(MAKE) -C doc comments