Closed jonas-rem closed 7 months ago
I noticed some latex errors, now that the latex output is not so cluttered anymore. But this is not related to the build changes, we can fix it later:
Latexmk: ====Undefined refs and citations with line #s in .tex file:
Missing character: There is no ├ (U+251C) in font [lmmono9-regular]:!
Missing character: There is no ─ (U+2500) in font [lmmono9-regular]:!
Missing character: There is no ─ (U+2500) in font [lmmono9-regular]:!
Missing character: There is no │ (U+2502) in font [lmmono9-regular]:!
Missing character: There is no └ (U+2514) in font [lmmono9-regular]:!
Missing character: There is no ─ (U+2500) in font [lmmono9-regular]:!
Missing character: There is no ─ (U+2500) in font [lmmono9-regular]:!
And 24 more --- see log file 'mickledore.log'
With all the changes we can see a significant reduction of build time from around 3 min to 1 min in the Github Actions.
I updated the initial comment to resolve #147. I wasn't sure if any comment is sufficient for GitHub to recognize it.
We can let sphinx create only the latex files, but not compile them. Once the latex files exist, we can build them in parallel with make.
147
resolves #147