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

[Sean Farley]

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

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>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20120320/fd813005/attachment.html>