update.sh: build versioned parameters unconditionally

we're always going to want to do this, and probably fold build_parameters.py into update.py

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.