mirror of
https://github.com/mermaid-js/mermaid.git
synced 2025-09-09 18:39:41 +02:00
Setting default securityLevel to strict, updated docs in mermaidAPI
This commit is contained in:
10
gulpfile.js
10
gulpfile.js
@@ -1,19 +1,9 @@
|
||||
import gulp from 'gulp'
|
||||
import jison from 'gulp-jison'
|
||||
import print from 'gulp-print'
|
||||
// const es = require('event-stream')
|
||||
|
||||
const logFile = function (es) {
|
||||
return es.map(function (file, cb) {
|
||||
log(file.path)
|
||||
return cb()
|
||||
})
|
||||
}
|
||||
|
||||
gulp.task('jison', function () {
|
||||
return gulp.src('./src/**/*.jison')
|
||||
// .pipe(filelog('Jison file:'))
|
||||
// .pipe(logFile(es))
|
||||
.pipe(print())
|
||||
.pipe(jison({ 'token-stack': true }))
|
||||
.pipe(gulp.dest('./src/'))
|
||||
|
Reference in New Issue
Block a user