diff --git a/thys/MFMC_Countable/ROOT b/thys/MFMC_Countable/ROOT
--- a/thys/MFMC_Countable/ROOT
+++ b/thys/MFMC_Countable/ROOT
@@ -1,11 +1,11 @@
 chapter AFP
 
 session "MFMC_Countable" (AFP) = "HOL-Probability" +
-  options [timeout = 600, document = pdf, document_output = "output"]
+  options [timeout = 600]
   sessions EdmondsKarp_Maxflow
   theories
     Max_Flow_Min_Cut_Countable
     Rel_PMF_Characterisation
   document_files
     "root.tex"
     "root.bib"