diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-11-10 16:02:13 -0800 |
|---|---|---|
| committer | Alec Theriault <alec.theriault@gmail.com> | 2018-11-10 16:02:13 -0800 |
| commit | 959033d592b41235896402a64703650df77c34bd (patch) | |
| tree | 352d1c64c354017adc5b7c3c6aa7aa7fd95e1bf6 /haddock-api/resources/html/gulpfile.js | |
| parent | b62c9542480d629bb482f5394dec2fdd5a48af24 (diff) | |
| parent | f4d53a159642aa9182241259709659e7074425d5 (diff) | |
Merge branch 'ghc-8.6' into ghc-head
Diffstat (limited to 'haddock-api/resources/html/gulpfile.js')
| -rw-r--r-- | haddock-api/resources/html/gulpfile.js | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/haddock-api/resources/html/gulpfile.js b/haddock-api/resources/html/gulpfile.js index c7cb6782..c456615f 100644 --- a/haddock-api/resources/html/gulpfile.js +++ b/haddock-api/resources/html/gulpfile.js @@ -19,9 +19,10 @@ function buildJS(targetFileName, files) { .pipe(gulp.dest('.')); } -gulp.task('build-js', function() { +gulp.task('build-js', function(done) { buildJS('quick-jump.min.js', ['./js-src/quick-jump.tsx']); buildJS('haddock-bundle.min.js', ['./js-src/init.ts']); + done(); }); -gulp.task('default', ['build-js']);
\ No newline at end of file +gulp.task('default', gulp.series('build-js')); |