Merge topic 'doc-path-genex-corrections' c7ab76e0ff Help: Fix wrong syntax for $<PATH:REPLACE_EXTENSION,...> Acked-by: Kitware Robot <kwrobot@kitware.com> Merge-request: !7505