diff --git a/build-support/macros-and-definitions.cmake b/build-support/macros-and-definitions.cmake index d0259c036..865552fe0 100644 --- a/build-support/macros-and-definitions.cmake +++ b/build-support/macros-and-definitions.cmake @@ -1167,6 +1167,7 @@ macro(process_options) add_custom_target(sphinx_models COMMAND ${sphinx_missing_msg}) add_custom_target(sphinx_tutorial COMMAND ${sphinx_missing_msg}) add_custom_target(sphinx_contributing COMMAND ${sphinx_missing_msg}) + add_custom_target(sphinx_installation COMMAND ${sphinx_missing_msg}) else() add_custom_target(sphinx COMMENT "Building sphinx documents") mark_as_advanced(MAKE) @@ -1214,6 +1215,7 @@ macro(process_options) sphinx_target(models) sphinx_target(tutorial) sphinx_target(contributing) + sphinx_target(installation) endif() # end of checking for documentation dependencies and creating targets