diff --git a/thys/FO_Theory_Rewriting/ROOT b/thys/FO_Theory_Rewriting/ROOT
--- a/thys/FO_Theory_Rewriting/ROOT
+++ b/thys/FO_Theory_Rewriting/ROOT
@@ -1,42 +1,41 @@
 chapter AFP
 
 session FO_Theory_Rewriting (AFP) = "HOL-Library" +
-  options
-    [timeout = 600,document = pdf]
+  options [timeout = 600]
   sessions
     "Regular_Tree_Relations"
     "FOL-Fitting"
   directories
     "Util"
     "Primitives"
     "Rewriting"
     "Closure"
   theories
     "Util/Multihole_Context"
     "Util/Ground_MCtxt"
     "Util/Bot_Terms"
     "Util/Saturation"
     "Util/Utils"
   theories
     "Rewriting/Rewriting"
   theories
     "Primitives/LV_to_GTT"
     "Primitives/NF"
     "Primitives/NF_Impl"
   theories
     "Closure/TA_Clousure_Const"
     "Closure/Context_Extensions"
     "Closure/Lift_Root_Step"
     "Closure/GTT_RRn"
     "Closure/Context_RR2"
   theories
     "FOL_Extra"
     "FOR_Certificate"
     "FOR_Semantics"
     "FOR_Check"
     "Type_Instances_Impl"
     "FOR_Check_Impl"
   document_files
     "root.bib"
     "root.tex"