Remove editor

This commit is contained in:
Tyler Long
2017-09-01 17:35:13 +08:00
parent 89e1da4780
commit a18179e6db
12 changed files with 2 additions and 3879 deletions

View File

@@ -1,9 +0,0 @@
var gulp = require('gulp')
var concat = require('gulp-concat')
// Build editor
gulp.task('editor', function () {
return gulp.src(['node_modules/d3/d3.min.js', 'node_modules/dagre-d3/dist/dagre-d3.min.js', 'dist/mermaid.slim.js', 'src/editor.js'])
.pipe(concat('build.js'))
.pipe(gulp.dest('./editor/'))
})

View File

@@ -1,16 +0,0 @@
var gulp = require('gulp')
var path = require('path')
var less = require('gulp-less')
var concat = require('gulp-concat')
gulp.task('editor-less', function () {
gulp.src(['./editor/css/editor.less'])
.pipe(less({
generateSourceMap: false, // default true
paths: [path.join(__dirname, 'less', 'includes')]
}))
.pipe(concat('editor.css'))
.pipe(gulp.dest('./editor/css/'))
})
gulp.task('less', ['editor-less'])