commit: 2946a248b51498850ee7e672c13eaa85b7574eb3
Author: Ulrich Müller <ulm <AT> gentoo <DOT> org>
AuthorDate: Sun Jan 28 17:37:56 2024 +0000
Commit: Ulrich Müller <ulm <AT> gentoo <DOT> org>
CommitDate: Sun Jan 28 17:37:56 2024 +0000
URL: https://gitweb.gentoo.org/proj/devmanual.git/commit/?id=2946a248
Makefile: Drop obsolete test for xmllint --quiet
Signed-off-by: Ulrich Müller <ulm <AT> 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
