search

ryankeleti / ega

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

autobuild dating/versioning #83

Closed thosgood closed 5 years ago

thosgood commented 5 years ago

Thinking about the auto-build you set up, and had some ideas:

  1. make the auto-complied PDFs have a note somewhere saying "autocompiled on date/at time"
  2. only rebuild the PDFs if's there's been a change to the respective tex file (not sure how hard this would be, guess it depends on how you've currently got it set up)

If we did both the above, then it would be easier for a reader to track which version of the PDF they currently have, and know whether or not another version has any updates.

Thoughts?

ryankeleti commented 5 years ago

Added (ref. 04776a184b31575a39e3138f938cfa55563a85e5), fixed on server side as well. As of now only works for book.pdf (as that's the one built by the script), but I could add it later for individual files.

ryankeleti commented 5 years ago

note also it still only checks for new commits every hour

thosgood commented 5 years ago

awesome! so does it only rebuild if there have been any changes in the last hour, or does it do it automatically anyway?

ryankeleti commented 5 years ago

only if there have been changes in the last hour

Sent with GitHawk

thosgood commented 5 years ago

it even has a hash, awesome!

thosgood commented 5 years ago

I guess one way of making it so that only the autobuilt pdf says 'autobuilt' would be to modify the makefile to run with a specific argument on your server, or the make_book script? That way any user-build pdfs won't look like autobuilt ones.

ryankeleti commented 5 years ago

I can have the make_book script append a line to the file if there is an autobuild flag. I'll do this in a bit

ryankeleti commented 5 years ago

done (ref. fdd58504ee1e207d208d0a57427c26edd038696d), closing for now