From 797c1724ab9c09ddd2b9211a1087df70a12ae2e3 Mon Sep 17 00:00:00 2001
From: Pierre MARTIN <contact@pierre-martin.fr>
Date: Tue, 3 Nov 2026 01:59:31 +0100
Subject: [PATCH] =?UTF-8?q?Lint=20:=20la=20licence=20de=20la=20police=20re?=
 =?UTF-8?q?ste=20identique=20=C3=A0=20l'original?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
---
 tests/lint.sh | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/tests/lint.sh b/tests/lint.sh
index 7406a01..18f705f 100755
--- a/tests/lint.sh
+++ b/tests/lint.sh
@@ -29,10 +29,11 @@ for f in "${fichiers[@]}"; do
 	if grep -q $'\r' "$f"; then
 		signaler "$f : fins de ligne Windows (CRLF)"
 	fi
-	# Copies fidèles de GNU Backgammon (sources et données) : on ne
-	# reformate pas leurs espaces, pour rester identique à l'original.
+	# Copies fidèles de GNU Backgammon (sources et données) et de la licence
+	# de la police : on ne reformate pas leurs espaces, pour rester
+	# identique à l'original.
 	case "$f" in
-		engine/gnubg/* | engine/data/*) continue ;;
+		engine/gnubg/* | engine/data/* | web/fonts/OFL.txt) continue ;;
 	esac
 	if grep -nE '[[:blank:]]+$' "$f" >/dev/null; then
 		signaler "$f : espaces en fin de ligne (lignes $(grep -nE '[[:blank:]]+$' "$f" | cut -d: -f1 | paste -sd, -))"