ci: patch htmldiff

YDX-2147483647 · YDX-2147483647 · commit e723e905ff3b · 2025-07-02T15:35:06.000+08:00
- set `<base>` for htmldiff - fix the bug about `<pre>` - set CORS header for services.w3.org/htmldiff Relates-to: typst-doc-cn#9
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -50,16 +50,16 @@ jobs:
             fonts-${{ hashFiles('scripts/download_fonts.sh') }}
             fonts-
       - uses: taiki-e/install-action@v2
-        if: steps.cache.outputs.cache-hit != 'true'
         with:
-          tool: ripgrep
+          tool: ripgrep,sd
       - name: Install fonts
         shell: bash
         if: steps.cache.outputs.cache-hit != 'true'
         run: |
           bash scripts/download_fonts.sh
       - run: pnpm install
       - run: pnpm build
+      - run: bash scripts/patch-htmldiff.sh
       - name: Setup Pages
         uses: actions/configure-pages@v5
       - name: Upload artifact
diff --git a/netlify.toml b/netlify.toml
@@ -1,7 +1,7 @@
 [build]
 command = """
 curl -L --proto '=https' --tlsv1.2 -sSf https://raw.githubusercontent.com/cargo-bins/cargo-binstall/main/install-from-binstall-release.sh | bash && \
-cargo-binstall typst-cli ripgrep && \
+cargo-binstall typst-cli ripgrep sd && \
 \
 curl -OL https://www.7-zip.org/a/7z2409-linux-x64.tar.xz && \
 tar -xvf 7z2409-linux-x64.tar.xz 7zz && ln -s 7zz 7z && \
@@ -10,9 +10,18 @@ export PATH=$PATH:$(pwd) && \
 bash scripts/download_fonts.sh && \
 \
 pnpm install && \
-pnpm build
+pnpm build && \
+\
+bash scripts/patch-htmldiff.sh
 """
-# `cargo binstall` not works here
+# Remarks: `cargo-binstall` works, but `cargo binstall` not.
+
+
+[[headers]]
+for = "/assets/*"
+[headers.values]
+Access-Control-Allow-Origin = "https://services.w3.org" # Allow CORS for /htmldiff
+
 
 [[plugins]]
 package = "netlify-plugin-cache"
diff --git a/scripts/patch-htmldiff.sh b/scripts/patch-htmldiff.sh
@@ -0,0 +1,26 @@
+#!/usr/bin/env bash
+set -euxo pipefail
+
+# Patch htmldiff
+#
+# https://services.w3.org/htmldiff is running `htmldiff` (the python script),
+# and it will execute `htmldiff.pl` in CLI (rather than CGI) mode.
+#
+# The commit version might be the following:
+# https://github.com/w3c/htmldiff-ui/blob/5eac9b073c66b24422df613a537da2ec2f97f457/htmldiff.pl
+
+# Set base.
+# Otherwise, CSS & JS will go to services.w3.org.
+#
+# This CGI-mode feature is missing in CLI mode.
+# https://github.com/w3c/htmldiff-ui/blob/5eac9b073c66b24422df613a537da2ec2f97f457/htmldiff.pl#L560-L563
+if [[ "${NETLIFY:-false}" == "true" ]]; then
+  sd --fixed-strings "<head>" "<head><base href='$DEPLOY_URL/'>" dist/index.html
+fi
+
+# Ensure at least one newline before every `</pre>`.
+#
+# This is a bug.
+# When `<pre>` and `</pre>` is on the same line, `splitit` should set `$preformatted` to true, but not.
+# https://github.com/w3c/htmldiff-ui/blob/main/htmldiff.pl#L406-L412
+sd --fixed-strings "</pre>" $'\n</pre>' dist/index.html
