diff --git a/doc/mk_api_doc.py b/doc/mk_api_doc.py index beb6596d1..45bc9a99c 100644 --- a/doc/mk_api_doc.py +++ b/doc/mk_api_doc.py @@ -82,7 +82,7 @@ try: mk_dir('tmp') shutil.copyfile('website-adj.dox', 'tmp/website.dox') os.remove('website-adj.dox') - shutil.copyfile('../src/api/python/z3.py', 'tmp/z3py.py') + shutil.copyfile('../src/api/python/z3/z3.py', 'tmp/z3py.py') cleanup_API('../src/api/z3_api.h', 'tmp/z3_api.h') cleanup_API('../src/api/z3_ast_containers.h', 'tmp/z3_ast_containers.h') cleanup_API('../src/api/z3_algebraic.h', 'tmp/z3_algebraic.h') @@ -119,7 +119,7 @@ try: print("Removed temporary file z3py.py") os.removedirs('tmp') print("Removed temporary directory tmp.") - sys.path.append('../src/api/python') + sys.path.append('../src/api/python/z3') pydoc.writedoc('z3') shutil.move('z3.html', 'api/html/z3.html') print("Generated Python documentation.")