mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
8 lines
171 B
YAML
8 lines
171 B
YAML
steps:
|
|
- script: |
|
|
cd doc
|
|
sudo apt-get install doxygen
|
|
sudo apt-get install graphviz
|
|
python mk_api_doc.py --ml --z3py-package-path=../build/python/z3
|
|
cd ..
|