Merge topic 'patch-remove-definitions' 6374f70915 remove_definitions: Update documentation Acked-by: Kitware Robot <kwrobot@kitware.com> Acked-by: Vito Gamberini <vito.gamberini@kitware.com> Merge-request: !11328