commit 9341b3f1f4fd7c3ceef1fa0e11854fc2d76e4c17 parent 2cc0192d8003ea9d8550b40bbb78d969b2f31187 Author: Vincent Forest <vincent.forest@meso-star.com> Date: Mon, 25 Aug 2025 11:54:15 +0200 Delete lint_html.sh which is no longer used HTML linting is now performed directly in the Makefile. Diffstat:
| D | lint_html.sh | | | 27 | --------------------------- |
1 file changed, 0 insertions(+), 27 deletions(-)
diff --git a/lint_html.sh b/lint_html.sh @@ -1,27 +0,0 @@ -#!/bin/sh -e - -# Copyright (C) 2017-2025 |Méso|Star> (contact@meso-star.com) -# -# This program is free software: you can redistribute it and/or modify -# it under the terms of the GNU General Public License as published by -# the Free Software Foundation, either version 3 of the License, or -# (at your option) any later version. -# -# This program is distributed in the hope that it will be useful, -# but WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -# GNU General Public License for more details. -# -# You should have received a copy of the GNU General Public License -# along with this program. If not, see <http://www.gnu.org/licenses/>. - - -if [ $# -lt 1 ]; then - echo "Usage: $0 <html>" >&2 - exit 1 -fi - -if ! tidy --show-info no -f "$1.err" -e "$1"; then - printf "%s:\e[1;31merror\e[0m: report in %s.err\n" "$1" "$1" >&2 - cat "$1.err" >& 2 -fi