--- a/src/Pure/Admin/build_doc.scala Tue May 26 11:25:33 2020 +0200
+++ b/src/Pure/Admin/build_doc.scala Tue May 26 11:58:42 2020 +0200
@@ -42,8 +42,8 @@
progress.echo("Build started for documentation " + commas_quote(selected_docs))
val res1 =
- Build.build(options, progress, requirements = true, build_heap = true,
- max_jobs = max_jobs, sessions = sessions)
+ Build.build(options, Sessions.Selection(requirements = true, sessions = sessions),
+ progress = progress, build_heap = true, max_jobs = max_jobs)
if (res1.ok) {
Isabelle_System.with_tmp_dir("document_output")(output =>
{
@@ -52,7 +52,8 @@
options.bool.update("browser_info", false).
string.update("document", "pdf").
string.update("document_output", output.implode),
- progress, clean_build = true, max_jobs = max_jobs, sessions = sessions)
+ Sessions.Selection(sessions = sessions),
+ progress = progress, clean_build = true, max_jobs = max_jobs)
if (res2.ok) {
val doc_dir = Path.explode("~~/doc")
for (doc <- selected_docs) {