On Tue, Mar 20, 2012 at 3:49 PM, Sean Farley <[email protected]> wrote:
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.
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.
I thought the upper right hand corner would look bad but it is better than I imagined.
Thoughts?
I like the corner. It does not get confused with the headings. Thanks, Matt -- What most experimenters take for granted before they begin their experiments is infinitely more interesting than any results to which their experiments lead. -- Norbert Wiener