remove xmllint of .html files

2020-05-08 14:34:34 +10:00
parent e802c8b9dd
commit 9e100f9196
1 changed files with 0 additions and 1 deletions
--- 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: []