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.