diff -r fac28b6c37e8 -r 389d77e6be9f src/Doc/ROOT
--- a/src/Doc/ROOT	Mon Oct 31 15:50:13 2022 +0100
+++ b/src/Doc/ROOT	Mon Oct 31 17:10:13 2022 +0100
@@ -489,6 +489,16 @@
     "root.tex"
     "style.sty"
 
+session Demo_Easychair (doc) in "Demo_Easychair" = HOL +
+  options [document_variants = "demo_easychair"]
+  theories
+    Document
+  document_files (in "$ISABELLE_EASYCHAIR_HOME")
+    "easychair.cls"
+  document_files
+    "root.bib"
+    "root.tex"
+
 session Demo_LIPIcs (doc) in "Demo_LIPIcs" = HOL +
   options [document_variants = "demo_lipics",
     document_build = "pdflatex", document_heading_prefix = "", document_comment_latex]