diff --git a/documentation/build_all_to_dist.sh b/documentation/build_all_to_dist.sh
index 13e5f549e5..b414e92df6 100755
--- a/documentation/build_all_to_dist.sh
+++ b/documentation/build_all_to_dist.sh
@@ -40,6 +40,6 @@ else
       cd ../
    done
    # rename for server paths
+   rm -rf ../dist/docs/developers
    mv ../dist/docs/dev-portal ../dist/docs/developers
 fi
-