From a912bfe05d676dce04767f29a4ee5f5cfb52d227 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 17 Dec 2025 18:12:39 +0000
Subject: [PATCH] Update docs.yml

---
 .github/workflows/docs.yml | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index eb66ffe32..0af9ea63a 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -50,8 +50,13 @@ jobs:
         run: npm run build:ts
 
       - name: Build wasm
-        working-directory: src/api/js
-        run: npm run build:wasm          
+        run: |
+          emsdk install ${EM_VERSION}
+          emsdk activate ${EM_VERSION}
+          source $(dirname $(which emsdk))/emsdk_env.sh
+          which node
+          which clang++
+          npm run build:wasm       
 
       - name: Build Z3 natively for Python documentation
         run: |