diff --git a/documentation/build_all_to_dist.sh b/documentation/build_all_to_dist.sh
index b38e13c9f5..ea752ae6df 100755
--- a/documentation/build_all_to_dist.sh
+++ b/documentation/build_all_to_dist.sh
@@ -5,7 +5,7 @@
 # from there by subsequent workflow tasks.
 
 # array of project dirs
-declare -a projects=("operators")
+declare -a projects=("dev-portal")
 
 # check you're calling from the right place
 if [ $(pwd | awk -F/ '{print $NF}') != "documentation" ]