- Notifications
You must be signed in to change notification settings - Fork5
Commit4ef8dc7
committed
Rearrangement of the HTML docs build rules
Set up proper makefile dependencies in the documentation build rules,especially around the HTML/index build. The problem we've had with allprevious solutions is that we have used the same file name, such as HTML.indexor bookindex.sgml, to mean different things at different stages of the build,and make can't distinguish that. The solution here is that the first jade runproduces HTML.index, but does not require bookindex.sgml at all, and producesno other html output (the latter an idea from Alvaro). The second jade runincludes bookindex.sgml, but does not recreate HTML.index. That way, when youchange an sgml file, jade is run twice and at the end all dependencies aresatisfied. Omitting the html output in the first stage also makes the fullbuild a lot faster.When you run one of the print format targets, only the first jade run is run,then the print target-specific commands. If an HTML build has completedpreviously, the first jade run is skipped because the dependencies havealready been satisfied.The draft and check targets for quick builds and syntax verification are stillthere.1 parent4baaaf7 commit4ef8dc7
File tree
4 files changed
+44
-35
lines changed- doc/src/sgml
4 files changed
+44
-35
lines changedLines changed: 21 additions & 28 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
| |||
51 | 51 |
| |
52 | 52 |
| |
53 | 53 |
| |
| 54 | + | |
| 55 | + | |
| 56 | + | |
54 | 57 |
| |
55 | 58 |
| |
56 | 59 |
| |
| |||
94 | 97 |
| |
95 | 98 |
| |
96 | 99 |
| |
97 |
| - | |
98 |
| - | |
99 |
| - | |
| 100 | + | |
| 101 | + | |
| 102 | + | |
| 103 | + | |
| 104 | + | |
100 | 105 |
| |
101 |
| - | |
102 |
| - | |
103 |
| - | |
| 106 | + | |
104 | 107 |
| |
105 |
| - | |
106 |
| - | |
| 108 | + | |
107 | 109 |
| |
108 |
| - | |
| 110 | + | |
109 | 111 |
| |
110 | 112 |
| |
111 | 113 |
| |
| 114 | + | |
112 | 115 |
| |
113 |
| - | |
| 116 | + | |
| 117 | + | |
114 | 118 |
| |
115 |
| - | |
116 | 119 |
| |
117 |
| - | |
118 |
| - | |
119 |
| - | |
120 |
| - | |
121 |
| - | |
122 |
| - | |
123 |
| - | |
124 |
| - | |
125 |
| - | |
126 |
| - | |
127 |
| - | |
| 120 | + | |
128 | 121 |
| |
129 | 122 |
| |
130 | 123 |
| |
| |||
146 | 139 |
| |
147 | 140 |
| |
148 | 141 |
| |
149 |
| - | |
| 142 | + | |
150 | 143 |
| |
151 | 144 |
| |
152 | 145 |
| |
153 | 146 |
| |
154 | 147 |
| |
155 |
| - | |
| 148 | + | |
156 | 149 |
| |
157 | 150 |
| |
158 | 151 |
| |
| |||
195 | 188 |
| |
196 | 189 |
| |
197 | 190 |
| |
198 |
| - | |
| 191 | + | |
199 | 192 |
| |
200 | 193 |
| |
201 | 194 |
| |
| |||
292 | 285 |
| |
293 | 286 |
| |
294 | 287 |
| |
295 |
| - | |
| 288 | + | |
296 | 289 |
| |
297 | 290 |
| |
298 | 291 |
| |
| |||
302 | 295 |
| |
303 | 296 |
| |
304 | 297 |
| |
305 |
| - | |
| 298 | + | |
306 | 299 |
| |
307 | 300 |
| |
308 | 301 |
| |
|
Lines changed: 7 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
| 1 | + | |
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
| |||
165 | 165 |
| |
166 | 166 |
| |
167 | 167 |
| |
| 168 | + | |
| 169 | + | |
| 170 | + | |
| 171 | + | |
| 172 | + | |
| 173 | + |
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
| 1 | + | |
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
| |||
262 | 262 |
| |
263 | 263 |
| |
264 | 264 |
| |
265 |
| - | |
| 265 | + | |
266 | 266 |
| |
267 | 267 |
|
Lines changed: 14 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
| 1 | + | |
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
| |||
180 | 180 |
| |
181 | 181 |
| |
182 | 182 |
| |
| 183 | + | |
| 184 | + | |
| 185 | + | |
| 186 | + | |
| 187 | + | |
| 188 | + | |
| 189 | + | |
| 190 | + | |
| 191 | + | |
| 192 | + | |
| 193 | + | |
| 194 | + | |
| 195 | + | |
183 | 196 |
| |
184 | 197 |
| |
185 | 198 |
| |
| |||
202 | 215 |
| |
203 | 216 |
| |
204 | 217 |
| |
205 |
| - | |
206 |
| - | |
207 |
| - | |
208 | 218 |
| |
209 | 219 |
| |
210 | 220 |
| |
|
0 commit comments
Comments
(0)