install man to share/man

Joachim Wuttkerequested to merge
install_man into main

thanks to Frédéric-Emmanuel Picca for pointing out the previous non-standard location

Merge request reports