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

[Barry Smith]

On Mar 20, 2012, at 9:39 PM, Satish Balay wrote:

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

   I thought I was pretty clear in my original request months ago. You have scripts that run through and build up the manual pages in several stages. Just add another simple stage that puts in the date, how is that hard? No harder then doing it at tarball time.

   Barry

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