Add a Docbook XML source for producing a man page.
Re-introduce fix done in dac9b7 that was accidentally reverted in 0b2663.
The fix in the last commit was incomplete; really fix it this time.
Merge pull request #310 from ockham/manpage

Add a Docbook XML source for producing a man page.