--- 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"