From eeaf4dadc6f155ab0ceb11f90baeb91b0bbee944 Mon Sep 17 00:00:00 2001 From: Paul Date: Wed, 23 Oct 2019 22:09:20 +0200 Subject: [PATCH] move woff to fonts folder for clarity --- tools/webfilesbuilder/gulpfile.js | 15 ++++++++++----- 1 file changed, 10 insertions(+), 5 deletions(-) diff --git a/tools/webfilesbuilder/gulpfile.js b/tools/webfilesbuilder/gulpfile.js index 303fbb35a..24212b30a 100644 --- a/tools/webfilesbuilder/gulpfile.js +++ b/tools/webfilesbuilder/gulpfile.js @@ -38,11 +38,18 @@ var buildHeader = function (name) { var filename = parts[parts.length - 1]; var extension = filename.split('.')[1]; + console.info('Creating file: ' + filename); + // var safename = name.split('.').join('_'); var safename = name.replace(/\.|-/g, "_"); var destination = "../../src/webh/" + filename + ".h"; + // check for woff files which should be fonts + if (extension === "woff") { + extension = "fonts"; + } + // html files go into root if (extension === "html") { var source = "../../src/websrc/temp/gzipped/" + name + ".gz"; @@ -50,8 +57,6 @@ var buildHeader = function (name) { var source = "../../src/websrc/temp/gzipped/" + extension + "/" + name + ".gz"; } - console.info('Creating file: ' + filename + ' Extension: ' + extension); - var wstream = fs.createWriteStream(destination); wstream.on('error', function (err) { console.log(err); @@ -128,12 +133,12 @@ gulp.task('requiredcss', function () { }); gulp.task("fontwoff", function () { - return gulp.src("../../src/websrc/3rdparty/woff/*.*") - .pipe(gulp.dest("../../src/websrc/temp/woff/")) + return gulp.src("../../src/websrc/3rdparty/fonts/*.*") + .pipe(gulp.dest("../../src/websrc/temp/fonts/")) .pipe(gzip({ append: true })) - .pipe(gulp.dest('../../src/websrc/temp/gzipped/woff/')) + .pipe(gulp.dest('../../src/websrc/temp/gzipped/fonts/')) .pipe(buildHeader('glyphicons-halflings-regular.woff')); });