On Tue, Mar 20, 2012 at 16:58, Sean Farley
<sean@mcs.anl.gov> 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.