diff --git a/scripts/generate-doc.yml b/scripts/generate-doc.yml index 4e384ab373f..c4727fc14aa 100644 --- a/scripts/generate-doc.yml +++ b/scripts/generate-doc.yml @@ -3,5 +3,5 @@ steps: cd doc apt-get install doxygen apt-get install graphviz - python mk_api_doc.py + python mk_api_doc.py --z3py-package-path=../build/python/z3 cd ..