<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">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.<br>
</blockquote><div><br></div><div>Unfortunately, I just followed his method which saved me the task of editing each webpage. </div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
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).</blockquote><div><br></div><div>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:</div>
<div><br></div><div><a href="http://petsc.cs.iit.edu/petsc/petsc-dev/rev/4b70b7e05675">http://petsc.cs.iit.edu/petsc/petsc-dev/rev/4b70b7e05675</a></div><div><br></div><div>for the regex I use to add the date. The important bit is to put the date in the header div:</div>
<div><br></div><div><div id="header"></div><div> <div id="modified">Mar 20 2012 blah foo</div></div><div> <h1>Header Text</h1></div><div></div></div><div><br></div>
<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:</div><div><br></div><div><a href="http://petsc.cs.iit.edu/petsc/petsc-dev/rev/51010035f538">http://petsc.cs.iit.edu/petsc/petsc-dev/rev/51010035f538</a></div>
<div><br></div><div><div id="header"></div><div> <div style="font-size: 1em; float: right;">Mar 20 2012 blah foo</div></div><div><div> <h1>Header Text</h1></div><div></div></div>
</div></div>