1 | const gulp = require('gulp');
|
2 | const path = require('path');
|
3 |
|
4 |
|
5 | gulp.task('sync-libs', () => {
|
6 | gulp.src(path.resolve(__dirname, '../node_modules/github-markdown-css/github-markdown.css'))
|
7 | .pipe(gulp.dest(path.resolve(__dirname, '../dist/lib/')));
|
8 |
|
9 | gulp.src([
|
10 | path.resolve(__dirname, '../node_modules/jquery/dist/jquery.min.js'),
|
11 | path.resolve(__dirname, '../node_modules/jquery/dist/jquery.min.map'),
|
12 | ])
|
13 | .pipe(gulp.dest(path.resolve(__dirname, '../dist/lib/')));
|
14 |
|
15 | gulp.src(path.resolve(__dirname, '../node_modules/codemirror/**/*.*'))
|
16 | .pipe(gulp.dest(path.resolve(__dirname, '../dist/lib/codemirror/')));
|
17 |
|
18 | gulp.src(path.resolve(__dirname, '../node_modules/webcomponents.js/webcomponents*.js'))
|
19 | .pipe(gulp.dest(path.resolve(__dirname, '../dist/lib/')));
|
20 |
|
21 | gulp.src(path.resolve(__dirname, '../node_modules/filesize/lib/*.js'))
|
22 | .pipe(gulp.dest(path.resolve(__dirname, '../dist/lib/')));
|
23 |
|
24 | gulp.src(path.resolve(__dirname, '../node_modules/mousetrap/mousetrap.*'))
|
25 | .pipe(gulp.dest(path.resolve(__dirname, '../dist/lib/')));
|
26 | });
|