[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