From: Michał Kępień <michal@isc.org>
Date: Sat, 25 Oct 2025 05:37:48 +0000 (+0200)
Subject: Remove unused xmllint-html.sh script
X-Git-Tag: v9.21.15~36^2~1
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d08addc2be557cdf6e76a559d415edc35ef61adb;p=thirdparty%2Fbind9.git

Remove unused xmllint-html.sh script

There are no longer any HTML files in the BIND 9 source repository.
Remove the xmllint-html.sh script that was used in the past to check
those for errors.
---

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d19cf70deb2..c153c63ae35 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -619,7 +619,6 @@ misc:
     - sh util/check-gitignore.sh
     - sh util/check-trailing-whitespace.sh
     - bash util/unused-headers.sh
-    - bash util/xmllint-html.sh
     # Check dangling symlinks in the repository
     - if find . -xtype l | grep .; then exit 1; fi
     - muon-meson analyze -Werror
diff --git a/util/xmllint-html.sh b/util/xmllint-html.sh
deleted file mode 100644
index 9b0a21c9e25..00000000000
--- a/util/xmllint-html.sh
+++ /dev/null
@@ -1,22 +0,0 @@
-#!/bin/sh -f
-
-# Copyright (C) Internet Systems Consortium, Inc. ("ISC")
-#
-# SPDX-License-Identifier: MPL-2.0
-#
-# This Source Code Form is subject to the terms of the Mozilla Public
-# License, v. 2.0.  If a copy of the MPL was not distributed with this
-# file, you can obtain one at https://mozilla.org/MPL/2.0/.
-#
-# See the COPYRIGHT file distributed with this work for additional
-# information regarding copyright ownership.
-
-files=$(git ls-files '*.html')
-if test -n "$files"; then
-  xmllint --noout --nonet --html $files 2>&1 \
-    | awk 'BEGIN { status = 0; }
-	     # suppress HTML 5 <section> tag errors
-	     /HTML parser error : Tag section invalid/ { getline; getline; next; }
-	     { print; status = 1; }
-	     END { exit status }'
-fi