From a173b0faf7db1c27b87065e47ba9d59f5eb14fce Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Thu, 9 Nov 2017 13:34:32 +0000 Subject: [PATCH] Fixed API doc build --- doc/mk_api_doc.py | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/mk_api_doc.py b/doc/mk_api_doc.py index ab4d32d39..3a2343803 100644 --- a/doc/mk_api_doc.py +++ b/doc/mk_api_doc.py @@ -288,6 +288,7 @@ try: # Put z3py at the beginning of the search path to try to avoid picking up # an installed copy of Z3py. sys.path.insert(0, os.path.dirname(Z3PY_PACKAGE_PATH)) + sys.path.insert(0, os.path.dirname(BUILD_DIR)) for modulename in ( 'z3', 'z3.z3consts',