Tim Hosgood
Tim Hosgood
> Site is back up (for now). I need to find a more permanent fix though... Is it using the most recent files? I can't see EGA II§3 on the...
have you thought about running the build through github actions @ryankeleti ? I've been using this for a bunch of projects over the past few years, and I'm debating moving...
I could start taking a look at this — I've managed to convince github actions to build pdfs from latex source code in the past, after some fiddling around. Do...
@ryankeleti I've just finished EGA II (🎉 ) so if there's an easy way to manually trigger a rebuild of the web version, this would be cool (but there's no...
(not sure if this deserves its own issue, but just to point out that the autobuild PDFs seem to be building every hour, even if no changes have been made...
no need to apologise! as for an actions solution, I guess a pretty concrete plan could be as follows: 1. copy whatever script your server runs into a script in...
i guess this also links back to https://github.com/ryankeleti/ega/issues/127 because the tags (8.1.1.1) don't match up with the (fixed) references (2.8.1.1.1)
so in my screenshot, the two links (which are now II.8.1.1 and II.8.1.1) should actually be II.8.1.1.1 and II.8.1.1.2. it looks like only the first three numbers of the label...
(i don't see any changes to `roman.x.y.z` on the site, but maybe im just oblivious...)
awesome! how much of a faff is it to do the same for the chapter/section numbering in the navigation breadcrumbs/TOC as well? (i'm guessing that this is the same as...