diff --git a/src/Doc/Demo_LLNCS/ROOT b/src/Doc/Demo_LLNCS/ROOT
--- a/src/Doc/Demo_LLNCS/ROOT
+++ b/src/Doc/Demo_LLNCS/ROOT
@@ -1,13 +1,12 @@
 chapter Doc
 
 session Demo_LLNCS (doc) = HOL +
-  options [document_variants = "demo_llncs",
-    document_build = "pdflatex", document_heading_prefix = "", document_comment_latex]
+  options [document_variants = "demo_llncs"]
   theories
     Document
   document_files (in "$ISABELLE_LLNCS_HOME")
     "llncs.cls"
     "splncs04.bst"
   document_files
     "root.bib"
     "root.tex"