mirror/CMake
1
0
Fork 0
mirror of https://github.com/Kitware/CMake.git synced 2026-01-09 15:20:56 -06:00
Code Issues Packages Projects Releases Wiki Activity

ci: Suppress cmake.org html documentation search results for index entries

Browse Source 
Since Sphinx 5.2.0, the generated html search page reports all index
entries that match a query term.  Unfortunately even non-main entries
get a high score, placing them before more important search results
such as document titles and domain object names.

Work around this for documentation published on `cmake.org` by removing
the logic from `searchtools.js` in the generated html documentation.

Issue: #25175
This commit is contained in:
Brad King
2023-08-09 19:47:32 -04:00
parent 4a8f9260c5
commit fbed0431c2
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.gitlab/os-linux.yml
View File

@@ -622,3 +622,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