don't forget parameter documentation

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Aug 19, 2022 · 600b449 · 600b449
1 parent 19da3c7
commit 600b449
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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 ..