diff --git a/thys/Stellar_Quorums/ROOT b/thys/Stellar_Quorums/ROOT
--- a/thys/Stellar_Quorums/ROOT
+++ b/thys/Stellar_Quorums/ROOT
@@ -1,9 +1,9 @@
 chapter AFP
 
 session Stellar_Quorums (AFP) = HOL +
-  options [timeout = 600, document=pdf]
+  options [timeout = 600]
   theories
     Stellar_Quorums
   document_files
     "root.tex"
     "root.bib"