diff options
author | 2024-01-28 18:37:56 +0100 | |
---|---|---|
committer | 2024-01-28 18:37:56 +0100 | |
commit | 2946a248b51498850ee7e672c13eaa85b7574eb3 (patch) | |
tree | 6b2604655fca3d7581d8d39b839a3c091434511c | |
parent | Update copyright years (diff) | |
download | devmanual-2946a248b51498850ee7e672c13eaa85b7574eb3.tar.gz devmanual-2946a248b51498850ee7e672c13eaa85b7574eb3.tar.bz2 devmanual-2946a248b51498850ee7e672c13eaa85b7574eb3.zip |
Makefile: Drop obsolete test for xmllint --quiet
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
-rw-r--r-- | Makefile | 4 |
1 files changed, 1 insertions, 3 deletions
@@ -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 |