# HG changeset patch
# User wenzelm
# Date 1667655711 -3600
# Node ID f2d17e69e5209208bcba53374b54f293b0ded8ad
# Parent  2ba80c2fc325b58b8b9ec2d4a26997eadbef5435
clarified options: support lualatex as well, but prefer old pdflatex for demos;

diff -r 2ba80c2fc325 -r f2d17e69e520 etc/build.props
--- a/etc/build.props	Sat Nov 05 14:29:19 2022 +0100
+++ b/etc/build.props	Sat Nov 05 14:41:51 2022 +0100
@@ -297,7 +297,8 @@
   isabelle.Bash$Handler \
   isabelle.Bibtex$File_Format \
   isabelle.Document_Build$Build_Engine \
-  isabelle.Document_Build$LIPIcs_Engine \
+  isabelle.Document_Build$LIPIcs_LuaLaTeX_Engine \
+  isabelle.Document_Build$LIPIcs_PDFLaTeX_Engine \
   isabelle.Document_Build$LuaLaTeX_Engine \
   isabelle.Document_Build$PDFLaTeX_Engine \
   isabelle.CI_Builds \
diff -r 2ba80c2fc325 -r f2d17e69e520 src/Doc/Demo_LIPIcs/ROOT
--- a/src/Doc/Demo_LIPIcs/ROOT	Sat Nov 05 14:29:19 2022 +0100
+++ b/src/Doc/Demo_LIPIcs/ROOT	Sat Nov 05 14:41:51 2022 +0100
@@ -1,8 +1,10 @@
-chapter Doc
+chapter Doc  (*Isabelle documentation*)
 
 session Demo_LIPIcs (doc) = HOL +
-  options [document_variants = "demo_lipics",
-    document_build = "lipics"]
+  options [
+    document_variants = "demo_lipics",  (*Isabelle documentation*)
+    document_build = "lipics_pdflatex"  (*or: "lipics" for LuaLaTeX*)
+  ]
   theories
     Document
   document_files
diff -r 2ba80c2fc325 -r f2d17e69e520 src/Doc/Demo_LLNCS/ROOT
--- a/src/Doc/Demo_LLNCS/ROOT	Sat Nov 05 14:29:19 2022 +0100
+++ b/src/Doc/Demo_LLNCS/ROOT	Sat Nov 05 14:41:51 2022 +0100
@@ -1,7 +1,10 @@
-chapter Doc
+chapter Doc  (*Isabelle documentation*)
 
 session Demo_LLNCS (doc) = HOL +
-  options [document_variants = "demo_llncs"]
+  options [
+    document_variants = "demo_llncs",  (*Isabelle documentation*)
+    document_build = "pdflatex"  (*or: omit option for LuaLaTeX*)
+  ]
   theories
     Document
   document_files (in "$ISABELLE_LLNCS_HOME")
diff -r 2ba80c2fc325 -r f2d17e69e520 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 */