diff --git a/scripts/generate-doc.yml b/scripts/generate-doc.yml index c4727fc14..611cd3188 100644 --- a/scripts/generate-doc.yml +++ b/scripts/generate-doc.yml @@ -1,7 +1,7 @@ steps: - script: | cd doc - apt-get install doxygen - apt-get install graphviz + sudo apt-get install doxygen + sudo apt-get install graphviz python mk_api_doc.py --z3py-package-path=../build/python/z3 cd ..