Closed yongrenjie closed 1 year ago
Aha:
<link rel="stylesheet" href="../_odoc_support/odoc.css"/>
So we need to copy the entire parent directory in. Then probably we put a blank index.html
page with a JavaScript (and manual) redirect to /whatwhat/index.html
. Quite a faff — at that point we may as well include the docs for all the dependencies as well.
CSS issue is fixed by 4dbdbdc
, but apparently it doesn't copy (or generate) the innermost directories so now there's no documentation for the modules?!
Edit: it doesn't generate the innermost directories. What changed?! https://github.com/alan-turing-institute/whatwhat/actions/runs/4563599911/jobs/8052293236
Finally done! https://alan-turing-institute.github.io/whatwhat/whatwhat/index.html
Took 11 commits to work it out. They will be squished before merging into main.
https://alan-turing-institute.github.io/whatwhat
HTML files are built fine, but CSS seems to be missing. o_O