forked from openkylin/z3
8 lines
166 B
YAML
8 lines
166 B
YAML
|
steps:
|
||
|
|
- script: |
|
||
|
|
cd doc
|
||
|
|
sudo apt-get install doxygen
|
||
|
|
sudo apt-get install graphviz
|
||
|
|
python mk_api_doc.py --z3py-package-path=../build/python/z3
|
||
|
|
cd ..
|