2017-04-11 22:14:25 +08:00
|
|
|
var gulp = require('gulp')
|
|
|
|
var path = require('path')
|
|
|
|
var less = require('gulp-less')
|
|
|
|
var concat = require('gulp-concat')
|
2015-05-26 20:41:53 +02:00
|
|
|
|
|
|
|
gulp.task('editor-less', function () {
|
2017-04-11 22:14:25 +08:00
|
|
|
gulp.src(['./editor/css/editor.less'])
|
2017-04-16 18:36:42 +08:00
|
|
|
.pipe(less({
|
|
|
|
generateSourceMap: false, // default true
|
|
|
|
paths: [path.join(__dirname, 'less', 'includes')]
|
|
|
|
}))
|
|
|
|
.pipe(concat('editor.css'))
|
|
|
|
.pipe(gulp.dest('./editor/css/'))
|
2017-04-11 22:14:25 +08:00
|
|
|
})
|
2015-05-26 20:41:53 +02:00
|
|
|
|
2017-04-22 17:13:05 +08:00
|
|
|
gulp.task('less', ['editor-less'])
|