Just curious, what changes in the environment.pickle file between
builds? I was curious if builds made from the same source at
different dates/times (and different computers, but haven't done that
yet) produce identical results such that they could be checksum
compared like a compiled binary file. I changed the "created on" date
option in conf.py to get rid of the date difference in the HTML files,
and now it's just the environment.pickle file that is different. What
all is in that file?
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sphinx-dev" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at
http://groups.google.com/group/sphinx-dev?hl=en
-~----------~----~----~----~------~----~------~--~---
