From 5f864a5b6aaa5d0d91989c7401b8850712300e55 Mon Sep 17 00:00:00 2001 From: MSalopek Date: Fri, 17 May 2024 17:46:20 +0200 Subject: [PATCH] docs: fix broken docs deploy (v4.2.0) (#1903) * docs: add v4.2.0; bump v5.0.0 * docs: add v4.2.0; bump v5.0.0 * sync * sync stuff * fix * try docs tag * add version alias --- docs/docusaurus.config.js | 8 ++++++++ docs/versions.json | 2 +- 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/docs/docusaurus.config.js b/docs/docusaurus.config.js index 53678250fc..c949763429 100644 --- a/docs/docusaurus.config.js +++ b/docs/docusaurus.config.js @@ -45,6 +45,14 @@ const config = { label: "main", banner: "unreleased", }, + "v4.2.0-docs": { + path: "/v4.2.0/", + label: "v4.2.0", + banner: "none", + }, + "v5.0.0": { + banner: "unreleased", + }, }, remarkPlugins: [remarkMath], rehypePlugins: [rehypeKatex], diff --git a/docs/versions.json b/docs/versions.json index 4d806f8d12..bba35efde5 100644 --- a/docs/versions.json +++ b/docs/versions.json @@ -1,4 +1,4 @@ [ - "v4.2.0", + "v4.2.0-docs", "v5.0.0" ] \ No newline at end of file