From: Mark Andrews <marka@isc.org>
Date: Fri, 8 May 2020 04:34:34 +0000 (+1000)
Subject: remove xmllint of .html files
X-Git-Tag: v9.17.2~85^2~1
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=9e100f919623aeb6a4cf2cfb10ff6529f3e7e3de;p=thirdparty%2Fbind9.git

remove xmllint of .html files
---

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index e1627c0dd46..5ddb2684000 100644
--- 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: []