diff --git a/docs/build_version_doc/build_doc.sh b/docs/build_version_doc/build_doc.sh index 2e4ed063d5ed..5e1a2b700668 100755 --- a/docs/build_version_doc/build_doc.sh +++ b/docs/build_version_doc/build_doc.sh @@ -121,19 +121,16 @@ then echo " ****************************************** " echo " Successfully built new release $latest_tag " echo " ****************************************** " -fi - -# Build latest master -echo " ********** Building Master ************ " -git checkout master -git checkout -- . -git submodule update +else + # Build latest master + echo " ********** Building Master ************ " -make docs || exit 1 + make docs || exit 1 -rm -rfv $web_folder/versions/master/* -cp -a "docs/_build/html/." "$web_folder/versions/master" -tests/ci_build/ci_build.sh doc python docs/build_version_doc/AddVersion.py --file_path "$web_folder/versions/master" + rm -rfv $web_folder/versions/master/* + cp -a "docs/_build/html/." "$web_folder/versions/master" + tests/ci_build/ci_build.sh doc python docs/build_version_doc/AddVersion.py --file_path "$web_folder/versions/master" +fi # Update version list for all previous version website if [ $latest_tag != ${tag_list[0]} ]