From fe8ef7c59696d62b0bc087957ad284ffc0795564 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Henrik=20Rydg=C3=A5rd?= Date: Tue, 21 Sep 2021 01:03:16 +0200 Subject: [PATCH] Don't process the README.md --- Tools/langtool/src/main.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Tools/langtool/src/main.rs b/Tools/langtool/src/main.rs index ee1f106a8e..f17b2c227d 100644 --- a/Tools/langtool/src/main.rs +++ b/Tools/langtool/src/main.rs @@ -216,7 +216,7 @@ fn main() { } for filename in filenames { - if filename == "langtool" { + if filename == "langtool" || !filename.ends_with("ini") { // Get this from cargo run for some reason. continue; }