diff --git a/update.sh b/update.sh index d0f93b7a36..e6ff1ce05a 100755 --- a/update.sh +++ b/update.sh @@ -132,20 +132,14 @@ find -name "parameters*rst" -delete # Clean possible built and cached parameters END_UPDATES=$(date +%s) -DO_PARAM_VERSIONING=true -if $DO_PARAM_VERSIONING; then - progress "Starting to build multiple parameters pages" - python3 build_parameters.py || { - progress "build_parameters.py failed" - exit 1 - } - END_BUILD_MPARAMS=$(date +%s) - MPARAMS_TIME=$(echo "($END_BUILD_MPARAMS - $END_UPDATES)" | bc) - progress "Time to run build_parameters.py: $MPARAMS_TIME seconds" -else - # we use this hwne calculating times, below - END_BUILD_MPARAMS=$END_UPDATES -fi +progress "Starting to build multiple parameters pages" +python3 build_parameters.py || { + progress "build_parameters.py failed" + exit 1 +} +END_BUILD_MPARAMS=$(date +%s) +MPARAMS_TIME=$(echo "($END_BUILD_MPARAMS - $END_UPDATES)" | bc) +progress "Time to run build_parameters.py: $MPARAMS_TIME seconds" progress "Starting to build the wiki" # python3 update.py --clean --parallel 4 # Build without versioning for parameters. It is better for editing wiki.