[postgis-tickets] [SCM] PostGIS branch master updated. 3.4.0beta1-7-g9908e9098

[git at osgeo.org]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "PostGIS".

The branch, master has been updated
       via  9908e9098acc89184f1ba728114387301f36550c (commit)
      from  8a2c14d611958b7ca1fe8549f10a20325411db14 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 9908e9098acc89184f1ba728114387301f36550c
Author: Sandro Santilli <strk at kbt.io>
Date:   Sat Jul 15 17:42:57 2023 +0200

    Fail if xmllint is not found
    
    References #5446

diff --git a/doc/Makefile.in b/doc/Makefile.in
index 4e75f5f0b..36649dd30 100644
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -585,16 +585,18 @@ requirements_not_met_xsltproc:
 	@echo
 	@echo "  http://postgis.net/documentation"
 	@echo
+	@false
 
 requirements_not_met_xmllint:
 	@echo
 	@echo "configure was unable to find 'xmllint' which is required"
-	@echo "to test the documentation."
+	@echo "to build the documentation."
 	@echo "Install xmllint and then re-run configure. Alternatively "
 	@echo "refer to online manual:"
 	@echo
 	@echo "  http://postgis.net/documentation"
 	@echo
+	@false
 
 requirements_not_met_xslbase:
 	@echo

-----------------------------------------------------------------------

Summary of changes:
 doc/Makefile.in | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)


hooks/post-receive
-- 
PostGIS