From 70d5cdcc0a3444b4716f317d33e56f0cc7fe3fa6 Mon Sep 17 00:00:00 2001
From: Sandro Santilli <strk@keybit.net>
Date: Sat, 10 Mar 2012 14:33:35 +0000
Subject: [PATCH] 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
---
 GNUmakefile.in | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/GNUmakefile.in b/GNUmakefile.in
index 5d13c12c6..5410a1668 100644
--- 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
 	
-- 
2.50.1