src/Pure/Tools/update_cartouches.scala

--- a/src/Pure/Tools/update_cartouches.scala	Fri Aug 19 16:19:59 2022 +0200
+++ b/src/Pure/Tools/update_cartouches.scala	Fri Aug 19 16:46:00 2022 +0200
@@ -97,7 +97,7 @@
         for {
           spec <- specs
           file <- File.find_files(Path.explode(spec).file,
-            file => file.getName.endsWith(".thy") || file.getName == "ROOT")
+            file => File.is_thy(file.getName) || file.getName == "ROOT")
         } update_cartouches(replace_text, File.path(file))
       })
 }