452 | @@ -453,9 +453,9 @@ install(TARGETS ${installable_targets}
453 | unset(installable_targets)
454 |
455 | if(INSTALL_MAN)
456 | - # TODO: these stubs are no longer needed. man pages should be generated at install time.
457 | - install(DIRECTORY ../doc/man/
458 | + install(CODE "execute_process(COMMAND ${CMAKE_COMMAND} -E make_directory ${PROJECT_BINARY_DIR}/doc/man)")
459 | + install(CODE "execute_process(COMMAND ${CMAKE_COMMAND} -E env BUILDDIR=${PROJECT_BINARY_DIR} MANDIR=${PROJECT_BINARY_DIR}/doc/man ${PROJECT_SOURCE_DIR}/contrib/devtools/gen-manpages.py --skip-missing-binaries)")
--skip-missing-binaries
I don't think we should be hardcoding a flag to ignore/skip errors into a script that you're making a requirement for release builds.