search

ryankeleti / ega

amateur translation project of Grothendieck's EGA.
https://ryankeleti.com/ega
317 stars 33 forks source link

pdf builds #188

Closed thosgood closed 3 years ago

thosgood commented 3 years ago

I've made a few commits recently (mainly just so that people don't think this project is dead (to anybody reading, it's merely taking a restorative nap)), but the PDF versions haven't been rebuilt since the 24th of October 2020. All the PDFs build fine on my local system, so I don't think it's because I've introduced some error somewhere (which has happened many times before).

ryankeleti commented 3 years ago

The PDF build errors are most likely server-side, I'll be trying to figure out a better solution soon to fix this!