Merge pull request #46 from kernigh/kernigh-pr-man
authorDavid Given <dg@cowlark.com>
Thu, 19 Jan 2017 23:06:09 +0000 (00:06 +0100)
committerGitHub <noreply@github.com>
Thu, 19 Jan 2017 23:06:09 +0000 (00:06 +0100)
Tune the installed manual pages.


Trivial merge