From 6584084d6a0b90906ec3a04f34c8deacd6af8d3c Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 19 Dec 2025 13:49:24 -0800 Subject: [PATCH] set build directory 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 858b56378..d4d93f156 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -62,7 +62,7 @@ jobs: run: | eval $(opam env) python3 mk_api_doc.py --mld --output-dir=api --z3py-package-path=../build-x64/python/z3 --build=../build-x64 - python3 mk_params_doc.py + Z3BUILD=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