mirror of
https://github.com/nodejs/node.git
synced 2025-05-15 10:01:49 +00:00
3f69ea53fd
Update module marked. Customize renderer to remove id from heading. PR-URL: https://github.com/nodejs/node/pull/6396 Reviewed-By: Roman Reiss <me@silverwind.io> Reviewed-By: Anna Henningsen <anna@addaleax.net>
23 lines
481 B
JavaScript
23 lines
481 B
JavaScript
var gulp = require('gulp');
|
|
var uglify = require('gulp-uglify');
|
|
var concat = require('gulp-concat');
|
|
|
|
var preserveFirstComment = function() {
|
|
var set = false;
|
|
|
|
return function() {
|
|
if (set) return false;
|
|
set = true;
|
|
return true;
|
|
};
|
|
};
|
|
|
|
gulp.task('uglify', function() {
|
|
gulp.src('lib/marked.js')
|
|
.pipe(uglify({preserveComments: preserveFirstComment()}))
|
|
.pipe(concat('marked.min.js'))
|
|
.pipe(gulp.dest('.'));
|
|
});
|
|
|
|
gulp.task('default', ['uglify']);
|