equal
deleted
inserted
replaced
49 val rc2 = |
49 val rc2 = |
50 Build.build( |
50 Build.build( |
51 options.bool.update("browser_info", false). |
51 options.bool.update("browser_info", false). |
52 string.update("document", "pdf"). |
52 string.update("document", "pdf"). |
53 string.update("document_output", Isabelle_System.posix_path(output)), |
53 string.update("document_output", Isabelle_System.posix_path(output)), |
54 progress, clean_build = true, sessions = sessions) |
54 progress, clean_build = true, max_jobs = max_jobs, system_mode = system_mode, |
|
55 sessions = sessions) |
55 if (rc2 == 0) { |
56 if (rc2 == 0) { |
56 val doc_dir = Path.explode("$ISABELLE_HOME/doc").file |
57 val doc_dir = Path.explode("$ISABELLE_HOME/doc").file |
57 for (doc <- selected_docs) { |
58 for (doc <- selected_docs) { |
58 val name = doc + ".pdf" |
59 val name = doc + ".pdf" |
59 File.copy(new JFile(output, name), new JFile(doc_dir, name)) |
60 File.copy(new JFile(output, name), new JFile(doc_dir, name)) |