<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">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.<br>


<br>Could you please add that ASAP or speak to me about how to do it so it will be ready for the next release.</blockquote><div><br></div><div>I also meant to do this but got distracted. I mocked up two versions: one with the date below the line (but affects some of the formatting in the main body as you can see from the screenshot), and one with the date above the line that uses the current space between the header text and the horizontal rule.</div>

<div><br></div><div>I thought the upper right hand corner would look bad but it is better than I imagined.</div><div><br></div><div>Thoughts?</div></div>