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

[Barry Smith]

On Mar 20, 2012, at 9:35 PM, Sean Farley wrote:

> I don't want the dates being put in when the tarball is created (for snapshots or anywhere else) I want them to go in when each manual page is made during the make docs process.
> 
> Unfortunately, I just followed his method which saved me the task of editing each webpage.  

   I thought you had some mechanism to get the date from Mecurial and put it into the page automatically. Did you or did you not have that? 

   Editing the pages is no biggie, Jed can give you a perl one liner to put the chunk of stuff you need added to each page.

    Barry

> 
> The reason is that we ALWAYS want dates in the manual pages, not just sometime in them (those without the dates will be the hardest to eradicate from the web).
> 
> I agree but I haven't become too familiar with the maint scripts that generates and builds all of this stuff. If someone can work faster than I, just look at my changeset:
> 
> http://petsc.cs.iit.edu/petsc/petsc-dev/rev/4b70b7e05675
> 
> for the regex I use to add the date. The important bit is to put the date in the header div:
> 
> <div id="header">
>   <div id="modified">Mar 20 2012 blah foo</div>
>   <h1>Header Text</h1>
> </div>
> 
> but if I recall correctly, the manual (web) pages aren't using a style sheet, so you might want to manually specify the style from this changeset:
> 
> http://petsc.cs.iit.edu/petsc/petsc-dev/rev/51010035f538
> 
> <div id="header">
>   <div style="font-size: 1em; float: right;">Mar 20 2012 blah foo</div>
>   <h1>Header Text</h1>
> </div>