diff --git a/scripts/release.yml b/scripts/release.yml
index 2a004d15f..aeea8bd7b 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -109,6 +109,7 @@ stages:
         eval `opam config env` 
         cd doc
         python mk_api_doc.py --mld --z3py-package-path=../build/python/z3
+        python mk_params_doc.py 
         mkdir api/html/ml
         ocamldoc -html -d api/html/ml -sort -hide Z3 -I $( ocamlfind query zarith ) -I ../build/api/ml ../build/api/ml/z3enums.mli ../build/api/ml/z3.mli
         cd ..