Include minified-es5 in the pdfjs-dist library (issue 12220)

Note that this will increase the run-time of `gulp dist` and `gulp dist-install`, but that's unavoidable given that there's now additional building happening.
This commit is contained in:
Jonas Jenwald 2020-08-17 14:57:30 +02:00
parent 1cf660ba73
commit e079c180c3

View File

@ -1715,6 +1715,7 @@ gulp.task(
"image_decoders-es5",
"lib",
"minified",
"minified-es5",
"types",
function () {
console.log();
@ -1771,6 +1772,18 @@ gulp.task(
.src(MINIFIED_DIR + "image_decoders/pdf.image_decoders.js")
.pipe(rename("pdf.image_decoders.min.js"))
.pipe(gulp.dest(DIST_DIR + "image_decoders/")),
gulp
.src(MINIFIED_ES5_DIR + "build/pdf.js")
.pipe(rename("pdf.min.js"))
.pipe(gulp.dest(DIST_DIR + "es5/build/")),
gulp
.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 + "image_decoders/pdf.image_decoders.js")
.pipe(rename("pdf.image_decoders.min.js"))
.pipe(gulp.dest(DIST_DIR + "es5/image_decoders/")),
gulp
.src(COMPONENTS_DIR + "**/*", { base: COMPONENTS_DIR })
.pipe(gulp.dest(DIST_DIR + "web/")),