# HG changeset patch
# User wenzelm
# Date 1541710927 -3600
# Node ID 4cb70e7e36b9a34b159689a634e025358c278d43
# Parent  15463f546ee0ede5479c9cceedbe3ef2573bf02c
update ROOT files as well: treated like .thy in Isabelle/jEdit;

diff -r 15463f546ee0 -r 4cb70e7e36b9 src/Pure/Tools/update_cartouches.scala
--- a/src/Pure/Tools/update_cartouches.scala	Thu Nov 08 21:36:12 2018 +0100
+++ b/src/Pure/Tools/update_cartouches.scala	Thu Nov 08 22:02:07 2018 +0100
@@ -91,8 +91,8 @@
   Options are:
     -t           replace @{text} antiquotations within text tokens
 
-  Recursively find .thy files and update theory syntax to use cartouches
-  instead of old-style {* verbatim *} or `alt_string` tokens.
+  Recursively find .thy or ROOT files and update theory syntax to use
+  cartouches instead of old-style {* verbatim *} or `alt_string` tokens.
 
   Old versions of files are preserved by appending "~~".
 """,
@@ -103,7 +103,8 @@
 
       for {
         spec <- specs
-        file <- File.find_files(Path.explode(spec).file, file => file.getName.endsWith(".thy"))
+        file <- File.find_files(Path.explode(spec).file,
+          file => file.getName.endsWith(".thy") || file.getName == "ROOT")
       } update_cartouches(replace_text, File.path(file))
     })
 }