From b82287dc2525cd6d03ac720999d973690aef08f3 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 16 Dec 2025 16:49:05 +0000
Subject: [PATCH] Update docs.yml

---
 .github/workflows/docs.yml | 28 +++++++++++-----------------
 1 file changed, 11 insertions(+), 17 deletions(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index ef503bdcb..61221e48f 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -48,27 +48,21 @@ jobs:
           version: ${{env.EM_VERSION}}
           actions-cache-folder: "emsdk-cache"
 
-      - name: Install emscripten
+      - name: Install dependencies
+        run: npm ci
+
+      - name: Build TypeScript
+        run: npm run build:ts
+
+      - name: Build wasm
         run: |
           emsdk install ${EM_VERSION}
           emsdk activate ${EM_VERSION}
-          
-      - name: Set up Emscripten
-        run: |
-          source /home/runner/work/z3/z3/emsdk/emsdk_env.sh
-          which emmake
-          
-      - name: Build WASM
-        run: |
-          emmake make -j4 libz3.a
-          
-      - name: Install JS dependencies
-        working-directory: src/api/js
-        run: |
-          npm ci
-          npm run build:ts
+          source $(dirname $(which emsdk))/emsdk_env.sh
+          which node
+          which clang++
           npm run build:wasm
-
+          
       - name: Generate Documentation (from doc directory)
         working-directory: doc
         run: |