From d1a6b1d44fc7d6ce160e89392fad638747bdcb75 Mon Sep 17 00:00:00 2001
From: ChrisLovering <ChrisLovering@users.noreply.github.com>
Date: Thu, 22 Jun 2023 15:07:42 +0000
Subject: Deploying to docs from @
 python-discord/bot-core@df15245c8b232ac57a82a5eea6c3f7eb3af8099a 🚀
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 v9.9.0/_static/documentation_options.js | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 v9.9.0/_static/documentation_options.js

(limited to 'v9.9.0/_static/documentation_options.js')

diff --git a/v9.9.0/_static/documentation_options.js b/v9.9.0/_static/documentation_options.js
new file mode 100644
index 00000000..e101e204
--- /dev/null
+++ b/v9.9.0/_static/documentation_options.js
@@ -0,0 +1,14 @@
+var DOCUMENTATION_OPTIONS = {
+    URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'),
+    VERSION: '9.9.0',
+    LANGUAGE: 'en',
+    COLLAPSE_INDEX: false,
+    BUILDER: 'html',
+    FILE_SUFFIX: '.html',
+    LINK_SUFFIX: '.html',
+    HAS_SOURCE: true,
+    SOURCELINK_SUFFIX: '.txt',
+    NAVIGATION_WITH_KEYS: false,
+    SHOW_SEARCH_SUMMARY: true,
+    ENABLE_SEARCH_SHORTCUTS: true,
+};
\ No newline at end of file
-- 
cgit v1.2.3