From 5e22b82b619c219b258a55802e68b8e33b191abc Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 19 Dec 2025 03:21:47 +0000 Subject: [PATCH] Modify docs.yml to generate JS documentation Updated documentation generation script to include JavaScript output. --- .github/workflows/docs.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 6bf395770..9a81fb432 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -53,7 +53,7 @@ jobs: echo "OCAML_VERSION: $(ocamlc -version)" echo "OCAMLLIB: $OCAMLLIB" mkdir build - python3 scripts/mk_make.py --python --ml --js + python3 scripts/mk_make.py --python --ml cd build make -j$(nproc) cd ../src/api/python && python3 -m pip install --user . @@ -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/python/z3 + python3 mk_api_doc.py --mld --js --output-dir=api --z3py-package-path=../build/python/z3 python3 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