Update build_all_to_dist.sh

This commit is contained in:
Mark Sinclair
2023-08-18 16:24:57 +01:00
committed by GitHub
parent 6ead19bd97
commit b5f2ecd79e
+1
View File
@@ -34,3 +34,4 @@ do
# cd back to ../documentation/
cd ../
done
mv ../../dist/docs/dev-portal ../../dist/docs/developers