From ad650f1b4d789fc2fc741d3778531eb01c538ffe Mon Sep 17 00:00:00 2001
From: lukewalczak <lukasz.walczak.pwr@gmail.com>
Date: Tue, 14 Jun 2022 10:58:22 +0200
Subject: [PATCH] docs: deploy docs for v4.x

---
 .circleci/deploy-docs.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.circleci/deploy-docs.sh b/.circleci/deploy-docs.sh
index 4c8aa0b44e..b50c03dcb3 100755
--- a/.circleci/deploy-docs.sh
+++ b/.circleci/deploy-docs.sh
@@ -47,6 +47,11 @@ git checkout 3.0
 yarn
 yarn build
 
+# Build the docs for 4.0
+git checkout 4.0
+yarn
+yarn build
+
 # Push the built docs
 cd dist