diff --git a/Isabelle_DOF/etc/build.props b/Isabelle_DOF/etc/build.props
index 90e268b..d0966b4 100644
--- a/Isabelle_DOF/etc/build.props
+++ b/Isabelle_DOF/etc/build.props
@@ -4,6 +4,7 @@ no_build = false
 requirements = \
   env:ISABELLE_SCALA_JAR
 sources = \
+  scala/dof.scala \
   scala/dof_document_build.scala 
 services = \
   isabelle.dof.DOF_Document_Build$Engine
diff --git a/scala/dof.scala b/Isabelle_DOF/scala/dof.scala
similarity index 100%
rename from scala/dof.scala
rename to Isabelle_DOF/scala/dof.scala
diff --git a/Isabelle_DOF/thys/Isa_DOF.thy b/Isabelle_DOF/thys/Isa_DOF.thy
index de1397a..191c937 100644
--- a/Isabelle_DOF/thys/Isa_DOF.thy
+++ b/Isabelle_DOF/thys/Isa_DOF.thy
@@ -3173,6 +3173,7 @@ scala_build_generated_files
   external_files
     "build.props" (in "../etc")
   and
+    "scala/dof.scala"
     "scala/dof_document_build.scala" (in "../")
 
 (*
diff --git a/etc/build.props b/etc/build.props
index 037d292..144929b 100644
--- a/etc/build.props
+++ b/etc/build.props
@@ -4,7 +4,7 @@ no_build = false
 requirements = \
   env:ISABELLE_SCALA_JAR
 sources = \
-  scala/dof.scala \
+  Isabelle_DOF/scala/dof.scala \
   scala/dof_mkroot.scala \
   scala/dof_tools.scala
 services = \