diff options
author | Brad King <brad.king@kitware.com> | 2023-08-10 12:59:27 (GMT) |
---|---|---|
committer | Kitware Robot <kwrobot@kitware.com> | 2023-08-10 12:59:35 (GMT) |
commit | 54184f98cb4b95b792ee76933e6c9126625a58ff (patch) | |
tree | 3b010f4e8a4acaedb4344d2104dfed6f801b33f9 /.gitlab | |
parent | 1233da9f4a6f1c9c7fdc4b051bbdf745b7830ba1 (diff) | |
parent | fbed0431c26fe9ce995cbc644161c4ea05ab41ed (diff) | |
download | CMake-54184f98cb4b95b792ee76933e6c9126625a58ff.zip CMake-54184f98cb4b95b792ee76933e6c9126625a58ff.tar.gz CMake-54184f98cb4b95b792ee76933e6c9126625a58ff.tar.bz2 |
Merge topic 'sphinx-search-index'
fbed0431c2 ci: Suppress cmake.org html documentation search results for index entries
Acked-by: Kitware Robot <kwrobot@kitware.com>
Merge-request: !8700
Diffstat (limited to '.gitlab')
-rw-r--r-- | .gitlab/os-linux.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitlab/os-linux.yml b/.gitlab/os-linux.yml index ee06a48..3b2a494 100644 --- a/.gitlab/os-linux.yml +++ b/.gitlab/os-linux.yml @@ -652,3 +652,5 @@ -DCMake_SPHINX_CMAKE_ORG_OUTDATED=$CMAKE_CI_SPHINX_OUTDATED -DCMake_VERSION_NO_GIT=$CMAKE_CI_VERSION_NO_GIT - ninja + # FIXME(#25175): non-main index entries are scored too high. + - sed -i '/search for explicit entries in index directives/,/^$/d' html/_static/searchtools.js |