--- a/src/Doc/ROOT Mon Oct 31 11:04:54 2022 +0100
+++ b/src/Doc/ROOT Mon Oct 31 15:50:13 2022 +0100
@@ -488,3 +488,16 @@
document_files
"root.tex"
"style.sty"
+
+session Demo_LIPIcs (doc) in "Demo_LIPIcs" = HOL +
+ options [document_variants = "demo_lipics",
+ document_build = "pdflatex", document_heading_prefix = "", document_comment_latex]
+ theories
+ Document
+ document_files (in "$ISABELLE_LIPICS_HOME")
+ "cc-by.pdf"
+ "lipics-logo-bw.pdf"
+ "lipics-v2021.cls"
+ document_files
+ "root.bib"
+ "root.tex"