equal
deleted
inserted
replaced
5 */ |
5 */ |
6 |
6 |
7 package isabelle |
7 package isabelle |
8 |
8 |
9 |
9 |
10 object Build_Doc |
10 object Build_Doc { |
11 { |
|
12 /* build_doc */ |
11 /* build_doc */ |
13 |
12 |
14 def build_doc( |
13 def build_doc( |
15 options: Options, |
14 options: Options, |
16 progress: Progress = new Progress, |
15 progress: Progress = new Progress, |
17 all_docs: Boolean = false, |
16 all_docs: Boolean = false, |
18 max_jobs: Int = 1, |
17 max_jobs: Int = 1, |
19 sequential: Boolean = false, |
18 sequential: Boolean = false, |
20 docs: List[String] = Nil): Unit = |
19 docs: List[String] = Nil |
21 { |
20 ): Unit = { |
22 val store = Sessions.store(options) |
21 val store = Sessions.store(options) |
23 |
22 |
24 val sessions_structure = Sessions.load_structure(options) |
23 val sessions_structure = Sessions.load_structure(options) |
25 val selected = |
24 val selected = |
26 for { |
25 for { |
72 |
71 |
73 |
72 |
74 /* Isabelle tool wrapper */ |
73 /* Isabelle tool wrapper */ |
75 |
74 |
76 val isabelle_tool = |
75 val isabelle_tool = |
77 Isabelle_Tool("build_doc", "build Isabelle documentation", Scala_Project.here, args => |
76 Isabelle_Tool("build_doc", "build Isabelle documentation", Scala_Project.here, args => { |
78 { |
|
79 var all_docs = false |
77 var all_docs = false |
80 var max_jobs = 1 |
78 var max_jobs = 1 |
81 var sequential = false |
79 var sequential = false |
82 var options = Options.init() |
80 var options = Options.init() |
83 |
81 |