From ab91b9dc0ba6bf15f65032aaacb48f3ce94d4057 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Wed, 15 Jun 2022 17:19:00 +0200
Subject: [PATCH] [Lint] fixes UTF8 encoding for 'scope' plug-in

---
 .gitattributes     | 2 --
 doc/scope/M.v      | 2 +-
 doc/scope/Makefile | 2 +-
 3 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/.gitattributes b/.gitattributes
index 10d8008ffd3..badf7a93a94 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -57,8 +57,6 @@ Changelog merge=union
 /doc/developer/TODO -check-utf8
 /doc/index.html -check-utf8
 /doc/makeLatex -check-utf8
-/doc/scope/M.v -check-utf8
-/doc/scope/Makefile -check-utf8
 /doc/training/developer/macros.tex -check-utf8
 /doc/value/README -check-utf8
 
diff --git a/doc/scope/M.v b/doc/scope/M.v
index f9758e8a131..f57ee83e7a3 100644
--- a/doc/scope/M.v
+++ b/doc/scope/M.v
@@ -175,7 +175,7 @@ Parameter ma : inst -> inst -> mark.
 Axiom maStart : forall L I, ma L I = Start -> L = I.
 Axiom maL : forall L, ma L L = Start.
 
-(** propriété du marquage après stabilité *)
+(** propriété du marquage après stabilité *)
 Axiom Pma : forall L i', 
   ma L i' = lmerge (List.map (fun i => trans i (ma L i)) (pred i')).
 
diff --git a/doc/scope/Makefile b/doc/scope/Makefile
index ac55e30f199..5f47605deb5 100644
--- a/doc/scope/Makefile
+++ b/doc/scope/Makefile
@@ -20,7 +20,7 @@
 #                                                                        #
 ##########################################################################
 
-#vide : pour ne pas utiliser de règles implicites
+#vide : pour ne pas utiliser de règles implicites
 .SUFFIXE:
 .PHONY: clean all debug
 
-- 
GitLab