diff --git a/thys/BTree/ROOT b/thys/BTree/ROOT
--- a/thys/BTree/ROOT
+++ b/thys/BTree/ROOT
@@ -1,19 +1,20 @@
 chapter AFP
 
 session "BTree" (AFP) = "Refine_Imperative_HOL" +
-  options [timeout = 600, document = pdf]
+  options [timeout = 600]
   sessions
     "HOL-Data_Structures"
   theories
     BTree
     BTree_Height
     BTree_Set
     BTree_Split
+  theories [condition = ISABELLE_OCAMLFIND]
     Array_SBlit
     Partially_Filled_Array
     BTree_Imp
     BTree_ImpSet
     BTree_ImpSplit
   document_files
     "root.tex"
     "root.bib"