Change Details

The man pages generation is not part of the installation process, so move it to `doc/man` where it belongs. There is no change in behavior.

The man pages generation is not part of the installation process, so move it to `doc/man` where it belongs. The `install_manpage()` interface now takes a list of pages to install, which can be empty. This allows for adding the pages later by filling the `MAN_PAGES` target property.

The man pages generation is not part of the installation process, so move it to `doc/man` where it belongs. There is no change in behavior `install_manpage()` interface now takes a list of pages to install, which can be empty. This allows for adding the pages later by filling the `MAN_PAGES` target property.