diff -r 107d8203fbd7 -r 87cd8506e000 src/Pure/Admin/build_lipics.scala
--- a/src/Pure/Admin/build_lipics.scala	Sat Nov 05 12:29:22 2022 +0100
+++ b/src/Pure/Admin/build_lipics.scala	Sat Nov 05 13:08:37 2022 +0100
@@ -14,6 +14,13 @@
 
 
 object Build_LIPIcs {
+  /* files for document preparation */
+
+  val document_files: List[Path] =
+    for (name <- List("cc-by.pdf", "lipics-logo-bw.pdf", "lipics-v2021.cls"))
+      yield Path.explode("$ISABELLE_LIPICS_HOME/" + name)
+
+
   /* build lipics component */
 
   val default_url = "https://github.com/dagstuhl-publishing/styles/archive/refs/tags/v2021.1.2.tar.gz"