Changeset 93661be in ammosreader for public/_static/documentation_options.js

Timestamp:

06/30/22 13:32:20 (3 years ago)

Author:

Enrico Schwass <ennoausberlin@…>

Branches:

AmmosSource, guix

Children:

1491313

Parents:

299c79c

Message:

sphinx-apidoc run again

File:

• public/_static/documentation_options.js (moved) (moved from doc/build/html/_static/documentation_options.js ) (1 diff)

public/_static/documentation_options.js

@@ -9 +9 @@
     HAS_SOURCE: true,
     SOURCELINK_SUFFIX: '.txt',
-    NAVIGATION_WITH_KEYS: false
+    NAVIGATION_WITH_KEYS: false,
+    SHOW_SEARCH_SUMMARY: true,
+    ENABLE_SEARCH_SHORTCUTS: true,
 };