diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 0d010e6a6..084f05205 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -33,7 +33,16 @@ jobs:
       - name: Install system dependencies
         run: |
           sudo apt-get update
-          sudo apt-get install -y doxygen graphviz python3
+          sudo apt-get install -y doxygen graphviz python3 python3-pip
+
+      - name: Build Z3 natively for Python documentation
+        run: |
+          python3 scripts/mk_make.py --python
+          cd build && make -j$(nproc)
+          cd ../src/api/python && python3 -m pip install --user .
+
+      - name: Clean build directory for WASM
+        run: rm -rf build
 
       - name: Setup emscripten
         uses: mymindstorm/setup-emsdk@v14