src/Doc/Demo_LLNCS/ROOT

--- a/src/Doc/Demo_LLNCS/ROOT	Sat Nov 05 09:57:51 2022 +0100
+++ b/src/Doc/Demo_LLNCS/ROOT	Sat Nov 05 12:12:33 2022 +0100
@@ -1,8 +1,7 @@
 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")