From a90529e3dc9333713fbc5233dd7397fd0b77fab3 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 11 Oct 2019 13:44:28 -0700
Subject: [PATCH] add path to python

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/generate-doc.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/generate-doc.yml b/scripts/generate-doc.yml
index 4e384ab37..c4727fc14 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 ..