1 files changed, 22 insertions, 0 deletions
diff --git a/node_modules/marked/Gulpfile.js b/node_modules/marked/Gulpfile.js
new file mode 100644
index 000000000..cebc16a65
--- /dev/null
+++ b/node_modules/marked/Gulpfile.js
@@ -0,0 +1,22 @@
+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']);