diff --git a/docusaurus/docusaurus.config.js b/docusaurus/docusaurus.config.js index fc19b9fda..881e9007c 100644 --- 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 index 5ded24167..bceb9b064 100644 --- 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 '';