remove xmllint of .html files

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index e1627c0dd46d47af6716f4410ba21aa04d00bbf3..5ddb268400045b459653d7d4eafa177ed8266bb6 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -394,7 +394,6 @@ misc:
     - 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'`
-    - xmllint --noout --nonet --html `git ls-files '*.html'`
     - sh util/check-win32util-configure
     - sh util/check-categories.sh
   needs: []