diff --git a/docs/build.sh b/docs/build.sh index 343009b68..ed2134e07 100755 --- a/docs/build.sh +++ b/docs/build.sh @@ -1,10 +1,11 @@ #!/bin/bash # Default toolchain docs (should be latest release!) -export default_version=v10.1 +export default_version=v10.2 # Maps target directory name to branch declare -A versions_map=( + [v10.2]=v10.2-docs [v10.1]=v10.1-docs [v10.0]=v10.0-docs [v9.2]=v9.2-docs