mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

Fixed API doc build

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2017-11-09 13:34:32 +00:00
parent 19f43713c9
commit a173b0faf7
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
doc/mk_api_doc.py
View file

@ -288,6 +288,7 @@ try:
# Put z3py at the beginning of the search path to try to avoid picking up # Put z3py at the beginning of the search path to try to avoid picking up
# an installed copy of Z3py. # an installed copy of Z3py.
sys.path.insert(0, os.path.dirname(Z3PY_PACKAGE_PATH)) sys.path.insert(0, os.path.dirname(Z3PY_PACKAGE_PATH))
sys.path.insert(0, os.path.dirname(BUILD_DIR))
for modulename in ( for modulename in (
'z3', 'z3',
'z3.z3consts', 'z3.z3consts',