From 7b325e33c7e439ba8ddb8ba6da86d76c6cf34121 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Julien=20D=C3=A9ramond?= <juderamond@gmail.com>
Date: Tue, 13 May 2025 23:02:13 +0200
Subject: [PATCH] Fix HTML head content built from 'Download examples' button

---
 build/zip-examples.mjs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/build/zip-examples.mjs b/build/zip-examples.mjs
index e2b5245f19..03995efd53 100644
--- a/build/zip-examples.mjs
+++ b/build/zip-examples.mjs
@@ -88,9 +88,9 @@ for (const file of sh.find(`${distFolder}/**/*.html`)) {
     .toString()
     .replace(new RegExp(`"/docs/${versionShort}/`, 'g'), '"../')
     .replace(/"..\/dist\//g, '"../assets/dist/')
-    .replace(/(<link href="\.\.\/.*) integrity=".*>/g, '$1>')
-    .replace(/(<script src="\.\.\/.*) integrity=".*>/g, '$1></script>')
-    .replace(/( +)<!-- favicons(.|\n)+<style>/i, '    <style>')
+    .replace(/(<link href="\.\.\/[^"]*"[^>]*) integrity="[^"]*"/g, '$1')
+    .replace(/<link[^>]*href="\.\.\/assets\/img\/favicons\/[^"]*"[^>]*>/g, '')
+    .replace(/(<script src="\.\.\/[^"]*"[^>]*) integrity="[^"]*"/g, '$1')
   new sh.ShellString(fileContents).to(file)
 }