Merge topic 'remove-doxygen.config' 2ae6aeacb1 Actually remove unused top-level doxygen.config file Acked-by: Kitware Robot <kwrobot@kitware.com> Merge-request: !8353