diff options
author | Michał Górny <mgorny@gentoo.org> | 2022-10-14 10:52:01 +0200 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2022-10-14 10:52:01 +0200 |
commit | 9e37aad8297eb4dbe200e61e2f9ddd71ca06c619 (patch) | |
tree | 6eb2abb177f8974fa2bd4776002ba52edbe0c91e /guide/_static/documentation_options.js | |
parent | Update the feed list (diff) | |
download | python-9e37aad8297eb4dbe200e61e2f9ddd71ca06c619.tar.gz python-9e37aad8297eb4dbe200e61e2f9ddd71ca06c619.tar.bz2 python-9e37aad8297eb4dbe200e61e2f9ddd71ca06c619.zip |
Rebuild with Sphinx 5.2.3
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'guide/_static/documentation_options.js')
-rw-r--r-- | guide/_static/documentation_options.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/guide/_static/documentation_options.js b/guide/_static/documentation_options.js index a750e4d..b57ae3b 100644 --- a/guide/_static/documentation_options.js +++ b/guide/_static/documentation_options.js @@ -10,5 +10,5 @@ var DOCUMENTATION_OPTIONS = { SOURCELINK_SUFFIX: '.txt', NAVIGATION_WITH_KEYS: false, SHOW_SEARCH_SUMMARY: true, - ENABLE_SEARCH_SHORTCUTS: false, + ENABLE_SEARCH_SHORTCUTS: true, };
\ No newline at end of file |