mmm okay. I though you've made a build today (seeing some page last updated on 25 September)
Where do you see those page updated dates? Do you mean the "last updated" date at the bottom. It is currently the same date sitewide. I guess we cannot afford a stat call (to check the page's last modified date, so we use the sitewide last updated time).
I'm talkin about the one on the top (near the select to change the version of the documentation page)
Hehe. I have looked into the code, and found that we do a getlastmod() call on every manual page display. So the file last modification date is used. This may be different than the generation date if the file goes into rsnyc space after the build, or if some site drops the files, and rsyncs a fresh copy (AFAIK). I'll look into this, and make the build date go into the files instead, so we can provide exact date (and without the getlastmod() call). I also had an idea to check the date of user notes to finegrain that date (the page is 'modified' if a user note is newer than the file's [build ]date). We cannot check note removals per se, but we can get closer to some proper date this way. I'll look into this if I have some time.
Goba
