flex/gulpfile.js

35 lines
968 B
JavaScript
Raw Normal View History

2015-07-19 02:20:09 +02:00
var gulp = require('gulp'),
less = require('gulp-less'),
rename = require('gulp-rename'),
2016-02-03 16:32:25 +01:00
minify = require('gulp-cssnano');
2015-07-19 02:20:09 +02:00
gulp.task('less', function () {
return gulp.src([
'./static/stylesheet/style.less',
'./static/stylesheet/dark-theme.less',
])
2015-07-19 02:20:09 +02:00
.pipe(less())
2015-10-07 02:19:34 +02:00
.pipe(minify())
.pipe(rename({
extname: '.min.css'
}))
.pipe(gulp.dest('./static/stylesheet'));
2015-07-19 02:20:09 +02:00
});
2016-04-23 08:14:54 +02:00
gulp.task('cp', function () {
return gulp.src('./node_modules/font-awesome/**/*.{min.css,otf,eot,svg,ttf,woff,woff2}')
.pipe(gulp.dest('./static/font-awesome'));
});
2016-04-24 00:44:16 +02:00
gulp.task('pygments', function () {
return gulp.src(['./static/pygments/*.css', '!./static/pygments/*min.css'])
.pipe(minify())
.pipe(rename({
extname: '.min.css'
}))
.pipe(gulp.dest('./static/pygments'));
});
2020-03-31 17:37:38 +02:00
gulp.task('default', gulp.series(['less', 'cp', 'pygments']));