Include document builder sources from AFP.

2025-03-17 04:02:46 +00:00 · 2025-03-17 04:02:46 +00:00 · aa696f8185
commit aa696f8185
parent 40b10493f2
1 changed files with 2 additions and 0 deletions
--- a/Isabelle_DOF-add_ons-2025/etc/build.props
+++ b/Isabelle_DOF-add_ons-2025/etc/build.props
@ -4,6 +4,8 @@ no_build = false
 requirements = \
  env:ISABELLE_SCALA_JAR
 sources = \
+  $AFP/Isabelle_DOF/scala/dof.scala \
+  $AFP/Isabelle_DOF/scala/dof_document_build.scala \
  scala/dof_mkroot.scala \
  scala/dof_tools.scala
 services = \