Fix debian installation of manpages
2 files changed