Man page installation fixes

This MR addresses a few make install issues inadvertently introduced by !3536 (merged).

Closes #1946 (closed)