Sakurai/pdf.js
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Include pdf.sandbox.js when building the pdfjs-dist files

Browse Source 
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.
This commit is contained in:
Jonas Jenwald 2021-01-26 16:34:19 +01:00
parent 465697eb10
commit 85a4bc85e7
1 changed files with 12 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
gulpfile.js
View File

@ -2047,19 +2047,15 @@ gulp.task(
.pipe(gulp.dest(DIST_DIR)), .pipe(gulp.dest(DIST_DIR)),
gulp gulp
.src([ .src([
GENERIC_DIR + "build/pdf.js", GENERIC_DIR + "build/{pdf,pdf.worker,pdf.sandbox}.js",
GENERIC_DIR + "build/pdf.js.map", GENERIC_DIR + "build/{pdf,pdf.worker,pdf.sandbox}.js.map",
GENERIC_DIR + "build/pdf.worker.js",
GENERIC_DIR + "build/pdf.worker.js.map",
SRC_DIR + "pdf.worker.entry.js", SRC_DIR + "pdf.worker.entry.js",
]) ])
.pipe(gulp.dest(DIST_DIR + "build/")), .pipe(gulp.dest(DIST_DIR + "build/")),
gulp gulp
.src([ .src([
GENERIC_ES5_DIR + "build/pdf.js", GENERIC_ES5_DIR + "build/{pdf,pdf.worker,pdf.sandbox}.js",
GENERIC_ES5_DIR + "build/pdf.js.map", GENERIC_ES5_DIR + "build/{pdf,pdf.worker,pdf.sandbox}.js.map",
GENERIC_ES5_DIR + "build/pdf.worker.js",
GENERIC_ES5_DIR + "build/pdf.worker.js.map",
SRC_DIR + "pdf.worker.entry.js", SRC_DIR + "pdf.worker.entry.js",
]) ])
.pipe(gulp.dest(DIST_DIR + "es5/build/")), .pipe(gulp.dest(DIST_DIR + "es5/build/")),
@ -2071,6 +2067,10 @@ gulp.task(
.src(MINIFIED_DIR + "build/pdf.worker.js") .src(MINIFIED_DIR + "build/pdf.worker.js")
.pipe(rename("pdf.worker.min.js")) .pipe(rename("pdf.worker.min.js"))
.pipe(gulp.dest(DIST_DIR + "build/")), .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 gulp
.src(MINIFIED_DIR + "image_decoders/pdf.image_decoders.js") .src(MINIFIED_DIR + "image_decoders/pdf.image_decoders.js")
.pipe(rename("pdf.image_decoders.min.js")) .pipe(rename("pdf.image_decoders.min.js"))
@ -2083,6 +2083,10 @@ gulp.task(
.src(MINIFIED_ES5_DIR + "build/pdf.worker.js") .src(MINIFIED_ES5_DIR + "build/pdf.worker.js")
.pipe(rename("pdf.worker.min.js")) .pipe(rename("pdf.worker.min.js"))
.pipe(gulp.dest(DIST_DIR + "es5/build/")), .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 gulp
.src(MINIFIED_ES5_DIR + "image_decoders/pdf.image_decoders.js") .src(MINIFIED_ES5_DIR + "image_decoders/pdf.image_decoders.js")
.pipe(rename("pdf.image_decoders.min.js")) .pipe(rename("pdf.image_decoders.min.js"))