diff --git a/doc/mk_api_doc.py b/doc/mk_api_doc.py
index 0a7efacfa..cc59ffa69 100644
--- a/doc/mk_api_doc.py
+++ b/doc/mk_api_doc.py
@@ -119,6 +119,7 @@ try:
     # Create configuration file from template
     doxygen_config_substitutions = {
         'OUTPUT_DIRECTORY': OUTPUT_DIRECTORY,
+        'TEMP_DIR': TEMP_DIR
     }
     doxygen_config_file = temp_path('z3api.cfg')
     configure_file('z3api.cfg.in', doxygen_config_file, doxygen_config_substitutions)
diff --git a/doc/z3api.cfg.in b/doc/z3api.cfg.in
index 7e6c81e4f..bcc7113cc 100644
--- a/doc/z3api.cfg.in
+++ b/doc/z3api.cfg.in
@@ -684,7 +684,7 @@ WARN_LOGFILE           =
 INPUT                  = ../src/api/dotnet \
                          ../src/api/java \
                          ../src/api/c++ \
-                         ./tmp
+                         @TEMP_DIR@
 
 # This tag can be used to specify the character encoding of the source files
 # that doxygen parses. Internally doxygen uses the UTF-8 encoding, which is