Copy LICENSE.txt to output folders

glenreesor · Jul 26, 2017 · cc5e755 · cc5e755
1 parent 0580988
commit cc5e755
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/gulpfile.js b/gulpfile.js
@@ -95,6 +95,13 @@ gulp.task('fast', function() {
       .pipe(gulp.dest(debugDir + '/maps/prod'))
       .pipe(gulp.dest(productionDir + '/maps/prod'));
 
+   //--------------------------------------------------------------------------
+   // License file
+   //--------------------------------------------------------------------------
+   result = gulp.src('LICENSE.txt')
+      .pipe(gulp.dest(debugDir))
+      .pipe(gulp.dest(productionDir));
+
    //--------------------------------------------------------------------------
    // embeddingSample Pre-Loaded Maps
    //--------------------------------------------------------------------------