[docs] update build for v13.0

Author: mateoconlechuga

docs/build.sh

@@ -1,10 +1,11 @@
 #!/bin/bash
 
 # Default toolchain docs (should be latest release!)
-export default_version=v12.1
+export default_version=v13.0
 
 # Maps target directory name to branch
 declare -A versions_map=(
+	[v13.0]=v13.0
 	[v12.1]=v12.1-docs
 	[v12.0]=v12.0
 	[v11.2]=v11.2-docs