src/Doc/Demo_LIPIcs/ROOT

--- a/src/Doc/Demo_LIPIcs/ROOT	Sat Nov 05 12:29:22 2022 +0100
+++ b/src/Doc/Demo_LIPIcs/ROOT	Sat Nov 05 13:08:37 2022 +0100
@@ -2,13 +2,9 @@
 
 session Demo_LIPIcs (doc) = HOL +
   options [document_variants = "demo_lipics",
-    document_build = "pdflatex", document_heading_prefix = "", document_comment_latex]
+    document_build = "lipics"]
   theories
     Document
-  document_files (in "$ISABELLE_LIPICS_HOME")
-    "cc-by.pdf"
-    "lipics-logo-bw.pdf"
-    "lipics-v2021.cls"
   document_files
     "root.bib"
     "root.tex"