1 files changed, 27 insertions, 0 deletions
diff --git a/haddock-api/resources/html/gulpfile.js b/haddock-api/resources/html/gulpfile.js
new file mode 100644
index 00000000..c7cb6782
--- /dev/null
+++ b/haddock-api/resources/html/gulpfile.js
@@ -0,0 +1,27 @@
+const gulp = require('gulp');
+const uglify = require('gulp-uglify');
+const browserify = require('browserify');
+const source = require('vinyl-source-stream');
+const buffer = require('vinyl-buffer');
+const tsify = require('tsify');
+const sourcemaps = require('gulp-sourcemaps');
+
+function buildJS(targetFileName, files) {
+  var b = browserify({ entries: files, debug: true });
+  return b
+    .plugin(tsify)
+    .bundle()
+    .pipe(source(targetFileName))
+    .pipe(buffer())
+    .pipe(sourcemaps.init({loadMaps: true}))
+    .pipe(uglify().on('error', function(e) { console.log(e); }))
+    .pipe(sourcemaps.write('.'))
+    .pipe(gulp.dest('.'));
+}
+
+gulp.task('build-js', function() {
+  buildJS('quick-jump.min.js', ['./js-src/quick-jump.tsx']);
+  buildJS('haddock-bundle.min.js', ['./js-src/init.ts']);
+});
+
+gulp.task('default', ['build-js']);
+\ No newline at end of file