src/FOL/ROOT

--- a/src/FOL/ROOT	Tue Apr 29 12:00:50 2014 +0200
+++ b/src/FOL/ROOT	Tue Apr 29 13:29:05 2014 +0200
@@ -16,7 +16,7 @@
     Michael Dummett, Elements of Intuitionism (Oxford, 1977)
   *}
   theories FOL
-  files "document/root.tex"
+  document_files "root.tex"
 
 session "FOL-ex" in ex = FOL +
   description {*
@@ -40,5 +40,5 @@
     If
   theories [document = false, skip_proofs = false]
     "Locale_Test/Locale_Test"
-  files "document/root.tex"
+  document_files "root.tex"