Merge pull request #12916 from Snuffleupagus/dist-sandbox

Include `pdf.sandbox.js` when building the pdfjs-dist files
This commit is contained in:
Tim van der Meij 2021-01-26 23:42:47 +01:00 committed by GitHub
commit d850773360
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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"))