From a3f43744feec86272fe532124679d3a013ef9a8c Mon Sep 17 00:00:00 2001
From: PROJ deploybot <proj.bot@proj.bot>
Date: Tue, 22 Mar 2022 20:00:06 +0000
Subject: update with results of commit
 https://github.com/OSGeo/PROJ/commit/53c07a8bd211b7aee4bc07a9c6726005504b7181

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

(limited to '_static/documentation_options.js')

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