From 2946a248b51498850ee7e672c13eaa85b7574eb3 Mon Sep 17 00:00:00 2001
From: Ulrich Müller <ulm@gentoo.org>
Date: Sun, 28 Jan 2024 18:37:56 +0100
Subject: Makefile: Drop obsolete test for xmllint --quiet
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Ulrich Müller <ulm@gentoo.org>
---
 Makefile | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index e75cbf1..1bfa86e 100644
--- a/Makefile
+++ b/Makefile
@@ -87,10 +87,8 @@ install: all
 	  install -m 644 $(JS_FILES) "$(DESTDIR)$(htmldir)"/; \
 	fi
 
-# Not all versions of xmllint support --quiet, so test for it first
 validate: devbook.rng
-	@opt=--quiet; xmllint --help 2>&1 | grep -q -- --quiet || opt=; \
-	xmllint --noout $${opt} --relaxng $< $(XMLS)
+	@xmllint --noout --quiet --relaxng $< $(XMLS)
 	@echo "xmllint validation successful"
 
 %.rng: %.rnc
-- 
cgit v1.2.3-65-gdbad