build v10.2 docs

Signed-off-by: mateoconlechuga <[email protected]>
CE-Programming · Aug 11, 2022 · 68c1797 · 68c1797
1 parent a9ee9ba
commit 68c1797
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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