On Tue, Mar 20, 2012 at 16:58, Sean Farley <[email protected]> wrote:

For this update, yes, every page must be modified since we aren't doing any fancy javascript / server-side programming (yet?). If you modify a file a week from now, it will be that date once the website is regenerated. I'm planning on putting this date generation in a script that runs in the 'update-web' rule unless there is a better rule?

Most html files are generated and we know their dates: $ hg log --limit 1 --template '{date|date}' include/petscsnes.h Mon Mar 19 22:42:51 2012 -0500 Similarly for inserting the date-string into the non-generated pages.