src/Doc/Demo_Easychair/ROOT

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Doc/Demo_Easychair/ROOT	Thu Nov 03 21:09:20 2022 +0100
@@ -0,0 +1,9 @@
+session Demo_Easychair (doc) = HOL +
+  options [document_variants = "demo_easychair"]
+  theories
+    Document
+  document_files (in "$ISABELLE_EASYCHAIR_HOME")
+    "easychair.cls"
+  document_files
+    "root.bib"
+    "root.tex"