From abd8b51ecea8392337557bb78757ee3dbb1a252f Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 18 Dec 2025 20:46:42 -0800 Subject: [PATCH] fix build dir Signed-off-by: Nikolaj Bjorner --- .github/workflows/docs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 8db058b85..c5ee84862 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -62,7 +62,7 @@ jobs: working-directory: doc run: | eval $(opam env) - python3 mk_api_doc.py --mld --output-dir=api --z3py-package-path=../build-x64/python/z3 --build=../build + python3 mk_api_doc.py --mld --output-dir=api --z3py-package-path=../build-x64/python/z3 --build=../build-x64 python3 mk_params_doc.py mkdir api/html/ml ocamldoc -html -d api/html/ml -sort -hide Z3 -I $( ocamlfind query zarith ) -I ../build-x64/api/ml ../build-x64/api/ml/z3enums.mli ../build-x64/api/ml/z3.mli