add path to python

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Oct 11, 2019 · a90529e · a90529e
1 parent 8c8a8ce
commit a90529e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 ..