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