diff --git a/doc/mk_api_doc.py b/doc/mk_api_doc.py
index d7e8e2fb1..ab4d32d39 100644
--- a/doc/mk_api_doc.py
+++ b/doc/mk_api_doc.py
@@ -188,7 +188,7 @@ try:
 
     if Z3PY_ENABLED:
         print("Z3Py documentation enabled")
-        doxygen_config_substitutions['PYTHON_API_FILES'] = 'z3.py'
+        doxygen_config_substitutions['PYTHON_API_FILES'] = 'z3*.py'
     else:
         print("Z3Py documentation disabled")
         doxygen_config_substitutions['PYTHON_API_FILES'] = ''