diff --git a/doc/mk_params_doc.py b/doc/mk_params_doc.py
index 021cab3c3..2026b84ec 100644
--- a/doc/mk_params_doc.py
+++ b/doc/mk_params_doc.py
@@ -9,7 +9,7 @@ import sys
 import re
 import os
 
-BUILD_DIR='../build'
+BUILD_DIR = '../' + build_env.get('Z3BUILD', 'build')
 OUTPUT_DIRECTORY=os.path.join(os.getcwd(), 'api')
 
 def parse_options():