add path to python

Signed-off-by: Nikolaj Bjorner <[email protected]>

Author: NikolajBjorner

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