diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-11-10 14:35:10 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-10 14:35:10 -0800 |
| commit | f4d53a159642aa9182241259709659e7074425d5 (patch) | |
| tree | bd149a37f465ea9d94f32108992380d4352cd4db /haddock-api/resources/html/gulpfile.js | |
| parent | 8a491e437f1c8379b66a420f8584c1761b45aa7e (diff) | |
| parent | 6e281ee1dfc994c40775eda044992980738d044e (diff) | |
Merge pull request #949 from haskell/wip/new-ocean
Introduce NewOcean theme.
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')); |