schtobia/flex
1
0
Fork 0
Code Issues Pull requests Activity

New pygments styles.

Browse source 
See #38.
This commit is contained in:
Alexandre Vicenzi 2016-04-23 19:44:16 -03:00
parent e64eb37a2b
commit b72e9e5536
62 changed files with 1684 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

12
gulpfile.js
View file

@ -18,4 +18,14 @@ gulp.task('cp', function () {
.pipe(gulp.dest('./static/font-awesome'));
});
gulp.task('default', ['less', 'cp']);
gulp.task('pygments', function () {
return gulp.src(['./static/pygments/*.css', '!./static/pygments/*min.css'])
.pipe(minify())
.pipe(rename({
extname: '.min.css'
}))
.pipe(gulp.dest('./static/pygments'));
});
gulp.task('default', ['less', 'cp', 'pygments']);