From a7e40add80c4ad49d45b39f605b72a933b72cb28 Mon Sep 17 00:00:00 2001
From: Derek Schuff <dschuff@chromium.org>
Date: Fri, 3 Oct 2025 21:44:01 +0000
Subject: [PATCH 1/2] Override W3C_STATUS Makefile variable when building
 echidna-published specs

---
 .github/workflows/w3c-publish.yml | 4 ++--
 document/core/util/katex          | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/w3c-publish.yml b/.github/workflows/w3c-publish.yml
index d159517302..4bdcf57831 100644
--- a/.github/workflows/w3c-publish.yml
+++ b/.github/workflows/w3c-publish.yml
@@ -70,7 +70,7 @@ jobs:
         run: cd spectec && opam exec make
       - name: Publish ${{ matrix.spec }} spec to its https://www.w3.org/TR/ URL
         if: env.W3C_ECHIDNA_TOKEN_CORE
-        run: cd document/${{ matrix.spec }} && opam exec make WD-echidna-CI
+        run: cd document/${{ matrix.spec }} && opam exec make W3C_STATUS=${{ env.W3C_STATUS }} WD-echidna-CI
         env:
           W3C_ECHIDNA_TOKEN_CORE: ${{ secrets.W3C_ECHIDNA_TOKEN_CORE }}
           W3C_ECHIDNA_TOKEN_JSAPI: ${{ secrets.W3C_ECHIDNA_TOKEN_JSAPI }}
@@ -81,7 +81,7 @@ jobs:
                   (github.event_name == 'push' && github.repository == 'WebAssembly/spec' && github.ref == 'refs/heads/main')) }}
       - name: Validate ${{ matrix.spec }} spec with Echidna
         if: env.W3C_USERNAME
-        run: cd document/${{ matrix.spec }} && opam exec make WD-echidna
+        run: cd document/${{ matrix.spec }} && opam exec make W3C_STATUS=${{ env.W3C_STATUS }} WD-echidna
         env:
           W3C_USERNAME: ${{ secrets.W3C_USERNAME }}
           W3C_PASSWORD: ${{ secrets.W3C_PASSWORD }}
diff --git a/document/core/util/katex b/document/core/util/katex
index e751278cff..3d5de92fb0 160000
--- a/document/core/util/katex
+++ b/document/core/util/katex
@@ -1 +1 @@
-Subproject commit e751278cff42fada16dba6df331fda52aaa90f73
+Subproject commit 3d5de92fb0d0511ac64901bb60b5d46c5677eb28

From f51fda7aa697afb26f7b82d1b16607a1cecee335 Mon Sep 17 00:00:00 2001
From: Derek Schuff <dschuff@chromium.org>
Date: Fri, 3 Oct 2025 22:46:04 +0000
Subject: [PATCH 2/2] revert katex

---
 document/core/util/katex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/document/core/util/katex b/document/core/util/katex
index 3d5de92fb0..e751278cff 160000
--- a/document/core/util/katex
+++ b/document/core/util/katex
@@ -1 +1 @@
-Subproject commit 3d5de92fb0d0511ac64901bb60b5d46c5677eb28
+Subproject commit e751278cff42fada16dba6df331fda52aaa90f73