diff options
| -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 |