From 8d212f43104db42347d694fc423d95b1716149e7 Mon Sep 17 00:00:00 2001 From: Luca Date: Thu, 11 May 2023 14:14:28 +0200 Subject: [PATCH] Aggiornamento pdfjs-viewer --- gulpfile.js | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/gulpfile.js b/gulpfile.js index 64bd8956f..22b53336b 100755 --- a/gulpfile.js +++ b/gulpfile.js @@ -344,16 +344,16 @@ function csrf() { function pdfjs() { const web = gulp.src([ - config.nodeDirectory + '/pdf.js/lib/dist/pdfjs/web/**/*', - '!' + config.nodeDirectory + '/pdf.js/lib/dist/pdfjs/web/cmaps/*', - '!' + config.nodeDirectory + '/pdf.js/lib/dist/pdfjs/web/*.map', - '!' + config.nodeDirectory + '/pdf.js/lib/dist/pdfjs/web/*.pdf', + config.nodeDirectory + '/pdf.js/demo/vue/public/pdfjs-prebuilt/web/**/*', + '!' + config.nodeDirectory + '/pdf.js/demo/vue/public/pdfjs-prebuilt/web/cmaps/*', + '!' + config.nodeDirectory + '/pdf.js/demo/vue/public/pdfjs-prebuilt/web/*.map', + '!' + config.nodeDirectory + '/pdf.js/demo/vue/public/pdfjs-prebuilt/web/*.pdf', ]) .pipe(gulp.dest(config.production + '/pdfjs/web')); const build = gulp.src([ - config.nodeDirectory + '/pdf.js/lib/dist/pdfjs/build/*', - '!' + config.nodeDirectory + '/pdf.js/lib/dist/pdfjs/build/*.map', + config.nodeDirectory + '/pdf.js/demo/vue/public/pdfjs-prebuilt/build/*', + '!' + config.nodeDirectory + '/pdf.js/demo/vue/public/pdfjs-prebuilt/build/*.map', ]) .pipe(gulp.dest(config.production + '/pdfjs/build'));