summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichał Górny <mgorny@gentoo.org>2022-10-14 10:52:01 +0200
committerMichał Górny <mgorny@gentoo.org>2022-10-14 10:52:01 +0200
commit9e37aad8297eb4dbe200e61e2f9ddd71ca06c619 (patch)
tree6eb2abb177f8974fa2bd4776002ba52edbe0c91e /guide/_static/documentation_options.js
parentUpdate the feed list (diff)
downloadpython-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.js2
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