ryankeleti / ega

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

add more detailed intro/purpose statement #20

Closed ryankeleti closed 5 years ago

ryankeleti commented 5 years ago

This should expand on the current "What this is" section.

thosgood commented 5 years ago

just made a PR with a first draft for what the introduction could look like. new commands in the preamble to add sections that don't appear in the TOC.

thosgood commented 5 years ago

just thought actually: maybe it would be a good idea to put the "What this is" section in an entirely different file, so it doesn't appear on the same page as "Introduction". that way it's much clearer that it isn't part of the original, but just a note from the translators.

If we do do this, then we would need to update the book making script so that it is also generated, and I guess put a copy of it at the top of README.md, for people who've downloaded the repo to build chapters individually. (and also delete the two new commands I just added)

ryankeleti commented 5 years ago

That's a good idea. On it!

ryankeleti commented 5 years ago

Also I think it's fine to have the subsections of the What this is section appear in the ToC.

thosgood commented 5 years ago

Also I think it's fine to have the subsections of the What this is section appear in the ToC.

I think yeah, if it's in a separate chapter, but at the moment I think it's just not 100% clear what's from the EGA introduction and what's from us (although, obviously, reading it for like 5 seconds clears up any confusion, but, still...)

ryankeleti commented 5 years ago

Ok, submitted something to start.

ryankeleti commented 5 years ago

closing for now