packages/documentation_developer_manual.cmake