Build document build engine also for main Isabelle/DOF component.

2023-03-13 13:00:49 +00:00 · 2023-03-13 13:00:49 +00:00 · 75b39bc168
parent 1229db1432
commit 75b39bc168
1 changed files with 3 additions and 1 deletions
--- a/etc/build.props
+++ b/etc/build.props
@ -5,7 +5,9 @@ requirements = \
  env:ISABELLE_SCALA_JAR
 sources = \
  Isabelle_DOF/scala/dof.scala \
+  Isabelle_DOF/scala/dof_document_build.scala \
  scala/dof_mkroot.scala \
  scala/dof_tools.scala
 services = \
-  isabelle.dof.DOF_Tools
+  isabelle.dof.DOF_Tools \
+  isabelle.dof.DOF_Document_Build$Engine