equal
deleted
inserted
replaced
48 { |
48 { |
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", File.standard_path(output)), |
54 progress, clean_build = true, max_jobs = max_jobs, system_mode = system_mode, |
54 progress, clean_build = true, max_jobs = max_jobs, system_mode = system_mode, |
55 sessions = sessions) |
55 sessions = sessions) |
56 if (rc2 == 0) { |
56 if (rc2 == 0) { |
57 val doc_dir = Path.explode("$ISABELLE_HOME/doc").file |
57 val doc_dir = Path.explode("$ISABELLE_HOME/doc").file |
58 for (doc <- selected_docs) { |
58 for (doc <- selected_docs) { |