add doc versions dropdown to navbar

rainlanguage · Oct 3, 2021 · 41d6575 · 41d6575
1 parent bcf77ec
commit 41d6575
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/docusaurus/docusaurus.config.js b/docusaurus/docusaurus.config.js
@@ -31,6 +31,10 @@ module.exports = {
           label: "API",
           position: "left",
         },
+        {
+          type: "docsVersionDropdown",
+          position: "left",
+        },
         {
           href: "https://github.com/beehive-innovation/rain-protocol",
           label: "GitHub",

diff --git a/shell.nix b/shell.nix
@@ -95,7 +95,7 @@ let
 
   docs-version = pkgs.writeShellScriptBin "docs-version" ''
     docs-build && npm run docusaurus --prefix docusaurus docs:version ''${GIT_TAG}
-    # run again so docusaurus-search-local can index newly added version
+    # build again so docusaurus-search-local can index newly added version
     npm run build --prefix docusaurus
   '';