[bugfix] distribute man page

Configration of dune fails if the manpages are not distributed.