mirror of
https://github.com/mermaid-js/mermaid.git
synced 2025-09-18 23:09:49 +02:00
Move gulp tasks
This commit is contained in:
10
gulpfile.js
10
gulpfile.js
@@ -1,3 +1,13 @@
|
||||
var requireDir = require('require-dir')
|
||||
var gulp = require('gulp')
|
||||
var jison = require('gulp-jison')
|
||||
var filelog = require('gulp-filelog')
|
||||
|
||||
gulp.task('jison', function () {
|
||||
return gulp.src('./src/**/*.jison')
|
||||
.pipe(filelog('Jison file:'))
|
||||
.pipe(jison({ 'token-stack': true }))
|
||||
.pipe(gulp.dest('./src/'))
|
||||
})
|
||||
|
||||
requireDir('./gulp/tasks')
|
||||
|
Reference in New Issue
Block a user