--- a/src/FOL/ROOT	Sun Sep 08 13:07:03 2019 +0200
+++ b/src/FOL/ROOT	Sun Sep 08 16:49:05 2019 +0200
@@ -24,6 +24,7 @@
   description "
     Examples for First-Order Logic.
   "
+  directories "Locale_Test"
   theories
     Natural_Numbers
     Intro
@@ -42,4 +43,3 @@
   theories [document = false, skip_proofs = false]
     "Locale_Test/Locale_Test"
   document_files "root.tex"
-