# HG changeset patch
# User wenzelm
# Date 1453328392 -3600
# Node ID 9f7293af6fb8dee870c60608f7bae808018e42b8
# Parent  c8c48906b8585c89e0238dc94b29f2f134c2d930
check more files;

diff -r c8c48906b858 -r 9f7293af6fb8 src/Pure/Tools/check_source.scala
--- a/src/Pure/Tools/check_source.scala	Wed Jan 20 23:05:57 2016 +0100
+++ b/src/Pure/Tools/check_source.scala	Wed Jan 20 23:19:52 2016 +0100
@@ -44,7 +44,7 @@
     Isabelle_System.hg("--repository " + File.shell_path(root) + " root").check_error
     for {
       file <- Isabelle_System.hg("manifest", root).check_error.out_lines
-      if file.endsWith(".thy") || file.endsWith(".ML")
+      if file.endsWith(".thy") || file.endsWith(".ML") || file.endsWith("/ROOT")
     } check_file(root + Path.explode(file))
   }