diff options
| author | Brad King <brad.king@kitware.com> | 2024-10-23 18:25:53 (GMT) |
|---|---|---|
| committer | Brad King <brad.king@kitware.com> | 2024-10-26 10:01:10 (GMT) |
| commit | 566b07bbf7b8cb81d4d8362e1ef3cd9b9a32bf75 (patch) | |
| tree | da626409b2e5596fd8fb0038829721ddccffcee0 | |
| parent | c8591c61d8e08cc643273bf6f71d91cdfbba3754 (diff) | |
| download | CMake-566b07bbf7b8cb81d4d8362e1ef3cd9b9a32bf75.zip CMake-566b07bbf7b8cb81d4d8362e1ef3cd9b9a32bf75.tar.gz CMake-566b07bbf7b8cb81d4d8362e1ef3cd9b9a32bf75.tar.bz2 | |
ci: Restore cmake.org html documentation search results for index entries
Sphinx 7.3 fixes the problem motivating commit fbed0431c2 (ci: Suppress
cmake.org html documentation search results for index entries,
2023-08-09, v3.27.2~2^2). Revert the workaround.
Fixes: #25175
| -rw-r--r-- | .gitlab/os-linux.yml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/.gitlab/os-linux.yml b/.gitlab/os-linux.yml index 6f10510..2f9a896 100644 --- a/.gitlab/os-linux.yml +++ b/.gitlab/os-linux.yml @@ -712,5 +712,3 @@ -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 |