search

ryankeleti / ega

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

fixed two bad latex errors #45

Closed thosgood closed 5 years ago

thosgood commented 5 years ago

sorry!

ryankeleti commented 5 years ago

no worries! I also plan to have all \oldpage's on their own line, I can fix that myself tho

thosgood commented 5 years ago

ah I've been removing that whenever I see it, because it adds an extra space in places (I think if it comes before a paragraph, for an example) if it's on its own line

ryankeleti commented 5 years ago

I can fix that by slapping an \ignorespaces in the definition of \oldpage, doing it now

thosgood commented 5 years ago

please ignore the low-quality meme post but it was irresistible 387cor