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