mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-01-09 12:28:58 +00:00
Code Activity

Clarify documentation generation step name

Browse source 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2025-12-15 22:35:08 +00:00
parent 48848a4044
commit 57c8b5a2c4
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/docs.yml vendored
View file

@ -59,7 +59,7 @@ jobs:
source $(dirname $(which emsdk))/emsdk_env.sh
npm run build:wasm
- name: Generate Documentation
- name: Generate Documentation (from doc directory)
working-directory: doc
run: |
python3 mk_api_doc.py --js --output-dir=api