<div class="gmail_quote">On Tue, Mar 20, 2012 at 16:58, Sean Farley <span dir="ltr"><<a href="mailto:sean@mcs.anl.gov">sean@mcs.anl.gov</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
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?</blockquote>
</div><div><br></div><div>Most html files are generated and we know their dates:</div><br><div><div>$ hg log --limit 1 --template '{date|date}' include/petscsnes.h</div><div>Mon Mar 19 22:42:51 2012 -0500</div></div>
<div><br></div><div>Similarly for inserting the date-string into the non-generated pages.</div>