doc/man: misc fixes to man pages The help text in particular was copied from the output of the '-h' option which was referring to "this help message", this was OK on the command line but it sounds a little off in a man page.
doc: fix the "custom install targets" to handle DESTDIR Stuff has to be installed/copied in an actual "install" target for Cmake to handle DESTDIR sanely, a custom target is not enough. So the story now is: - add a component-local install rule - make the "custom install target" invoke it - make sure the custom target has been executed at install time Maybe all this is not even worth the effort anymore and the "custom install targets" could go away altogether, their point was to have _them_ invoke at install time end exploit the dependencies chain.
doc: make sure docs have been generated when installing This is done in three steps: - first a "custom install target" is created for each custom target which builds documentation; - then dependencies between those custom install targets and the correspondent "build" targets are added; - finally some code is added to ensure those "custom install targets" are called when the builtin install target is executed.