src/Pure/Thy/document_build.scala

--- a/src/Pure/Thy/document_build.scala	Sat Nov 05 14:29:19 2022 +0100
+++ b/src/Pure/Thy/document_build.scala	Sat Nov 05 14:41:51 2022 +0100
@@ -386,7 +386,7 @@
   class PDFLaTeX_Engine extends Bash_Engine("pdflatex") { override def use_pdflatex: Boolean = true }
   class Build_Engine extends Bash_Engine("build") { override def use_build_script: Boolean = true }
 
-  class LIPIcs_Engine extends Bash_Engine("lipics") {
+  class LIPIcs_Engine(name: String) extends Bash_Engine(name) {
     def lipics_options(options: Options): Options =
       options + "document_heading_prefix=" + "document_comment_latex"
 
@@ -400,6 +400,10 @@
       context.prepare_directory(dir, doc, latex_output)
     }
   }
+  class LIPIcs_LuaLaTeX_Engine extends LIPIcs_Engine("lipics")
+  class LIPIcs_PDFLaTeX_Engine extends LIPIcs_Engine("lipics_pdflatex") {
+    override def use_pdflatex: Boolean = true
+  }
 
 
   /* build documents */