From 85a4bc85e73ed462c7539256a276636f915744d4 Mon Sep 17 00:00:00 2001 From: Jonas Jenwald Date: Tue, 26 Jan 2021 16:34:19 +0100 Subject: [PATCH] Include `pdf.sandbox.js` when building the pdfjs-dist files Currently it's missing in pdfjs-dist, however that's not a big issue considering that it's broken in non-TESTING builds before PR 12914 anyway. --- gulpfile.js | 20 ++++++++++++-------- 1 file changed, 12 insertions(+), 8 deletions(-) diff --git a/gulpfile.js b/gulpfile.js index d84b5418f..f6225bdf7 100644 --- a/gulpfile.js +++ b/gulpfile.js @@ -2047,19 +2047,15 @@ gulp.task( .pipe(gulp.dest(DIST_DIR)), gulp .src([ - GENERIC_DIR + "build/pdf.js", - GENERIC_DIR + "build/pdf.js.map", - GENERIC_DIR + "build/pdf.worker.js", - GENERIC_DIR + "build/pdf.worker.js.map", + GENERIC_DIR + "build/{pdf,pdf.worker,pdf.sandbox}.js", + GENERIC_DIR + "build/{pdf,pdf.worker,pdf.sandbox}.js.map", SRC_DIR + "pdf.worker.entry.js", ]) .pipe(gulp.dest(DIST_DIR + "build/")), gulp .src([ - GENERIC_ES5_DIR + "build/pdf.js", - GENERIC_ES5_DIR + "build/pdf.js.map", - GENERIC_ES5_DIR + "build/pdf.worker.js", - GENERIC_ES5_DIR + "build/pdf.worker.js.map", + GENERIC_ES5_DIR + "build/{pdf,pdf.worker,pdf.sandbox}.js", + GENERIC_ES5_DIR + "build/{pdf,pdf.worker,pdf.sandbox}.js.map", SRC_DIR + "pdf.worker.entry.js", ]) .pipe(gulp.dest(DIST_DIR + "es5/build/")), @@ -2071,6 +2067,10 @@ gulp.task( .src(MINIFIED_DIR + "build/pdf.worker.js") .pipe(rename("pdf.worker.min.js")) .pipe(gulp.dest(DIST_DIR + "build/")), + gulp + .src(MINIFIED_DIR + "build/pdf.sandbox.js") + .pipe(rename("pdf.sandbox.min.js")) + .pipe(gulp.dest(DIST_DIR + "build/")), gulp .src(MINIFIED_DIR + "image_decoders/pdf.image_decoders.js") .pipe(rename("pdf.image_decoders.min.js")) @@ -2083,6 +2083,10 @@ gulp.task( .src(MINIFIED_ES5_DIR + "build/pdf.worker.js") .pipe(rename("pdf.worker.min.js")) .pipe(gulp.dest(DIST_DIR + "es5/build/")), + gulp + .src(MINIFIED_ES5_DIR + "build/pdf.sandbox.js") + .pipe(rename("pdf.sandbox.min.js")) + .pipe(gulp.dest(DIST_DIR + "es5/build/")), gulp .src(MINIFIED_ES5_DIR + "image_decoders/pdf.image_decoders.js") .pipe(rename("pdf.image_decoders.min.js"))