mermaid/gulpfile.js
2017-09-03 20:07:40 +08:00

11 lines
287 B
JavaScript

const gulp = require('gulp')
const jison = require('gulp-jison')
const 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/'))
})