From e079c180c3859a52bdf5396d3558d309a051708d Mon Sep 17 00:00:00 2001 From: Jonas Jenwald Date: Mon, 17 Aug 2020 14:57:30 +0200 Subject: [PATCH] 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. --- gulpfile.js | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/gulpfile.js b/gulpfile.js index 59f9bcb8c..da0ba5ae8 100644 --- a/gulpfile.js +++ b/gulpfile.js @@ -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/")),