also control the list of man pages installed, so that they correspond better to the binaries.

This is the second version of this fix, including review comments.