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 ..