[petsc-dev] date generated printed on all generated pages

[Barry Smith]

   Satish,

     We need to have the date generated put in the upper right corner of all 
generated pages.  Can you please start by having that put in the processing of 
the manual pages? Let me know if you have questions.

    Barry