mirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-19 14:48:08 +02:00
Code Activity

Merge pull request #17252 from tamuratak/to_mts

Browse source 
Rename *.d.ts to *.d.mts
This commit is contained in:
Tim van der Meij 2023-11-12 13:00:44 +01:00 • committed by GitHub
commit 2869b63800
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
10 changed files with 41 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

10
gulpfile.mjs
View file

@ -1847,11 +1847,11 @@ gulp.task(
return merge([
packageJson().pipe(gulp.dest(TYPESTEST_DIR)),
gulp
.src([
GENERIC_DIR + "build/pdf.mjs",
GENERIC_DIR + "build/pdf.worker.mjs",
])
.pipe(gulp.dest(TYPESTEST_DIR + "build/")),
.src("external/dist/**/*", {
base: "external/dist",
removeBOM: false,
})
.pipe(gulp.dest(TYPESTEST_DIR)),
gulp
.src(TYPES_DIR + "**/*", { base: TYPES_DIR })
.pipe(gulp.dest(TYPESTEST_DIR + "types/")),