From de79996574f89062d5534de2700cc8535fccefe8 Mon Sep 17 00:00:00 2001
From: Jonas Jenwald <jonas.jenwald@gmail.com>
Date: Tue, 4 Feb 2025 10:22:26 +0100
Subject: [PATCH] Bundle wasm-files in `pdfjs-dist` (PR 19329 follow-up)

---
 gulpfile.mjs | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/gulpfile.mjs b/gulpfile.mjs
index e119a570f..7752b2202 100644
--- a/gulpfile.mjs
+++ b/gulpfile.mjs
@@ -2355,6 +2355,12 @@ gulp.task(
             encoding: false,
           })
           .pipe(gulp.dest(DIST_DIR)),
+        gulp
+          .src(GENERIC_DIR + "web/wasm/**/*", {
+            base: GENERIC_DIR + "web",
+            encoding: false,
+          })
+          .pipe(gulp.dest(DIST_DIR)),
         gulp
           .src(
             [