From 1220352767a4689ed220ec7ccb575d9736c9e4f3 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 19 Dec 2025 13:43:36 -0800
Subject: [PATCH] make build directory configurable

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

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():