docs: tune ranking further (#47110)

promote hand-written docs, demote generated "docs" for sources, modules, packages.
This commit is contained in:
Harmen Stoppels 2024-10-21 13:21:13 +02:00 committed by GitHub
parent f6c9d98c8f
commit 5ca0e94bdd
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -18,5 +18,24 @@ python:
search:
ranking:
spack.html: -10
spack.*.html: -10
llnl.html: -10
command_index.html: -9
llnl.*.html: -10
_modules/*: -10
command_index.html: -9
basic_usage.html: 5
configuration.html: 5
config_yaml.html: 5
packages_yaml.html: 5
build_settings.html: 5
environments.html: 5
containers.html: 5
mirrors.html: 5
module_file_support.html: 5
repositories.html: 5
binary_caches.html: 5
chain.html: 5
pipelines.html: 5
packaging_guide.html: 5
build_systems.html: 4
build_systems/*: 4