diff --git a/Core_DOM/ROOT b/Core_DOM/ROOT
index 1b1a730..f4591ac 100644
--- a/Core_DOM/ROOT
+++ b/Core_DOM/ROOT
@@ -1,7 +1,7 @@
 chapter AFP
 
 session "Core_DOM-devel" (AFP) = "HOL-Library" + 
-  options [timeout = 4800, document = pdf, document_variants="document:outline=/proof,/ML",document_output=output]
+  options [timeout = 4800, document = pdf, document_variants="document:outline=/proof,/ML"]
   theories
     Core_DOM
     Core_DOM_Tests