diff --git a/proof/ROOT b/proof/ROOT
index 6ebcb75e3..33f18a4d1 100644
--- a/proof/ROOT
+++ b/proof/ROOT
@@ -185,10 +185,10 @@ session Bisim in bisim = AInvs +
     ASepSpec
   theories
     "Syscall_S"
-  files
-    "document/root.tex"
-    "document/build"
-    "document/Makefile"
+  document_files
+    "root.tex"
+    "build"
+    "Makefile"
 
 (*
  * Separation Logic