[petsc-dev] dates of last change on PETSc web pages

[Jed Brown]

On Tue, Mar 20, 2012 at 16:58, Sean Farley <sean at 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20120320/46e5a034/attachment.html>