# HG changeset patch
# User wenzelm
# Date 1658500875 -7200
# Node ID 29eb44a65a55a3366e387adc11a9c1d2d56649f7
# Parent  598994a2d339743bf57d115110fb5e5ac1c7bf26
more documentation;

diff -r 598994a2d339 -r 29eb44a65a55 src/Doc/Isar_Ref/Spec.thy
--- a/src/Doc/Isar_Ref/Spec.thy	Fri Jul 22 16:14:51 2022 +0200
+++ b/src/Doc/Isar_Ref/Spec.thy	Fri Jul 22 16:41:15 2022 +0200
@@ -1320,6 +1320,16 @@
   browsed via the virtual file-system with prefix ``\<^verbatim>\<open>isabelle-export:\<close>''
   (using the regular file-browser).
 
+  \<^descr> \<^theory_text>\<open>scala_build_generated_files paths (in thy)\<close> retrieves named generated
+  files as for \<^theory_text>\<open>export_generated_files\<close> and writes them into a temporary
+  directory, which is taken as starting point for build process of
+  Isabelle/Scala/Java modules (see @{cite "isabelle-system"}). The
+  corresponding @{path build.props} file is expected directly in the toplevel
+  directory, instead of @{path "etc/build.props"} for Isabelle system
+  components. These properties need to specify sources, resources, services
+  etc. as usual. The resulting \<^verbatim>\<open>jar\<close> module becomes an export artifact of the
+  session database.
+
   \<^descr> \<^theory_text>\<open>compile_generated_files paths (in thy) where compile_body\<close> retrieves
   named generated files as for \<^theory_text>\<open>export_generated_files\<close> and writes them into
   a temporary directory, such that the \<open>compile_body\<close> may operate on them as