From d08addc2be557cdf6e76a559d415edc35ef61adb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Micha=C5=82=20K=C4=99pie=C5=84?= Date: Sat, 25 Oct 2025 07:37:48 +0200 Subject: [PATCH] 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. --- .gitlab-ci.yml | 1 - util/xmllint-html.sh | 22 ---------------------- 2 files changed, 23 deletions(-) delete mode 100644 util/xmllint-html.sh diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index d19cf70deb..c153c63ae3 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 9b0a21c9e2..0000000000 --- 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
tag errors - /HTML parser error : Tag section invalid/ { getline; getline; next; } - { print; status = 1; } - END { exit status }' -fi