Drop xmllint check from misc CI job

There are no XML or docbook files in the "main" source tree to be
checked and the xmllint command just prints out a usage message.

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 02896a302a4e97a0d6823f3ba9af8b110a3003d5..70bca788c18e717100d907dcaa873b7bb4875230 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -409,7 +409,6 @@ misc:
     - rm util/newcopyrights
     - perl -w util/update_copyrights < util/copyrights
     - if test "$(git status --porcelain | grep -Ev '\?\?' | wc -l)" -gt "0"; then git status --short; exit 1; fi
-    - xmllint --noout --nonet `git ls-files '*.xml' '*.docbook'`
     - sh util/check-categories.sh
     - if git grep SYSTEMTESTTOP -- ':!.gitlab-ci.yml'; then echo 'Please use relative paths instead of $SYSTEMTESTTOP.'; exit 1; fi
     - bash util/unused-headers.sh