Make it possible to affect the extension of man pages.
PR: 578
2 files changed