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

Remove gulp makefile, since it's broken and unused

Browse Source 
Looking at the history of the code, this `gulp` task was *accidentally* broken in the Gulp 4 upgrade in PR 10266 (all the way back in 2018).
Given that no one has either noticed and/or complained about this since, it's safe to assume that it's completely unused, hence why I suggest that we just remove this `gulp` task (rather than fixing it).
This commit is contained in:
Jonas Jenwald 2021-06-04 12:53:19 +02:00
parent 6c249f8e21
commit 66a5671847
1 changed files with 0 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
gulpfile.js
View File

@ -13,7 +13,6 @@
* limitations under the License.
*/
/* eslint-env node */
/* globals target */
"use strict";
@ -1848,17 +1847,6 @@ gulp.task("clean", function (done) {
rimraf(BUILD_DIR, done);
});
gulp.task("makefile", function () {
let makefileContent = "help:\n\tgulp\n\n";
const targetsNames = [];
for (const i in target) {
makefileContent += i + ":\n\tgulp " + i + "\n\n";
targetsNames.push(i);
}
makefileContent += ".PHONY: " + targetsNames.join(" ") + "\n";
return createStringSource("Makefile", makefileContent).pipe(gulp.dest("."));
});
gulp.task("importl10n", function (done) {
const locales = require("./external/importL10n/locales.js");