From b5f2ecd79e1e4e63afd4bc4244196c1f327df7e0 Mon Sep 17 00:00:00 2001
From: Mark Sinclair <14054343+mmsinclair@users.noreply.github.com>
Date: Fri, 18 Aug 2023 16:24:57 +0100
Subject: [PATCH] Update build_all_to_dist.sh

---
 documentation/build_all_to_dist.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/documentation/build_all_to_dist.sh b/documentation/build_all_to_dist.sh
index 87fe4d5b58..87834f5a3c 100755
--- a/documentation/build_all_to_dist.sh
+++ b/documentation/build_all_to_dist.sh
@@ -34,3 +34,4 @@ do
    # cd back to ../documentation/
    cd ../
 done
+mv ../../dist/docs/dev-portal ../../dist/docs/developers