Merge topic 'doc-typo' 045fbbb47c Help: Remove duplicated word in COMPILE_OPTIONS target property docs Acked-by: Kitware Robot <kwrobot@kitware.com> Merge-request: !8396