I failed to do anything with this pull request a year ago, is it still relevant today? I suspect "of course".
The issue is that there is a 18 month old pull request from Dirk which I should deal with first. Can I get you to check to see if there is any interaction between Dirk's pull request 1 and your pull request 2?
The problem is that these changes write a datestamp into any file which is a target of a Doxygen rule; however, pull request #1 makes the html index, man pages, etc, into such targets, so they get overwritten with just a date stamp.
I don't think the changes in this pull request are necessary once pull request #1 is merged, so I'd suggest backing out commit bd484f09.
OK, I have applied what I think is an effective backout. I can't just do a backout easily since other change I made make it easier to apply a new changeset directly. It would be great if you could try things out and see that I haven't messed things up.
Sorry Richard, I am trying to do too many little things in a bug hurry to make room for doing work on an elephant task, well that's my excuse anyway. I'll have to leave the commit comment as is as this is Mercurial, whereas with Git I could hack it. Thanks for chipping in though, things like this don't progress without a group of people's inputs. It only remains for me to apologise again to Dirk and Eric for failing to handle their pull requests last year.
Thanks for taking time to chip in. Apologies for leaving your, and Dirk's, pull requests to languish unattended. I think we have something that works as a basis for continued work. I doubt I will be making direct contributions as I will not be working with C++ in the foreseeable future, all the languages I will be using have documentation systems of their own.