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

[Barry Smith]

  Satish

   You have not yet modified the script that prepares the manual pages to 
automatically put the date of generation in the upper right corner.  As well as 
other generated pages.

    Could you please add that ASAP or speak to me about how to do it so it will 
be ready for the next release.

    Thanks

      Barry