diff --git a/docs/_static/docs_version.js b/docs/_static/docs_version.js
new file mode 100644
index 000000000..23148d1e2
--- /dev/null
+++ b/docs/_static/docs_version.js
@@ -0,0 +1,9 @@
+var DOCUMENTATION_VERSIONS = {
+    DEFAULTS: { has_targets: false,
+                supported_targets: [ "esp32" ]
+              },
+    VERSIONS: [
+        { name: "latest" },
+        { name: "release-v4.0.0", pre_release: true }
+    ]
+};
\ No newline at end of file