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

[Satish Balay]

On Tue, 20 Mar 2012, 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 this method was reasonable because: all docs are generated
primarily at tarball generation time. And the "canonical" tag for
google is added here - so modified the script to also add 'date' at
the same time.

Satish

> 
> 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>
>