diff --git a/docs/build_version_doc/build_doc.sh b/docs/build_version_doc/build_doc.sh index 5e1a2b700668..427f40c592a0 100755 --- a/docs/build_version_doc/build_doc.sh +++ b/docs/build_version_doc/build_doc.sh @@ -136,9 +136,13 @@ fi if [ $latest_tag != ${tag_list[0]} ] then total=${#tag_list[*]} - for (( i=0; i<=$(( $total -1 )); i++ )) + for (( i=0; i<=$(( $total - 1 )); i++ )) + do tests/ci_build/ci_build.sh doc python docs/build_version_doc/AddVersion.py --file_path "$web_folder/versions/${tag_list[$i]}" \ --current_version "${tag_list[$i]}" done + + # Update master version dropdown + tests/ci_build/ci_build.sh doc python docs/build_version_doc/AddVersion.py --file_path "$web_folder/versions/master" fi