From 05090d121dee1168152063bba8d7f03af16c41ad Mon Sep 17 00:00:00 2001
From: Joxit <joxit972@gmail.com>
Date: Sun, 15 Oct 2017 23:49:37 +0200
Subject: [PATCH] [riot-mui] Update gulpfile

Use riot.min.js instead of riot+compiler.min.js
---
 gulpfile.js | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/gulpfile.js b/gulpfile.js
index e15d940..2e9253a 100644
--- a/gulpfile.js
+++ b/gulpfile.js
@@ -88,6 +88,12 @@ gulp.task('scripts', ['html'], function() {
     .pipe(gulp.dest('dist/scripts'));
 });
 
+gulp.task('vendor', ['html'], function() {
+  return gulp.src(['node_modules/riot/riot.min.js', 'node_modules/riotgear-router/dist/rg-router.min.js', 'node_modules/riot-mui/build/js/riot-mui-min.js'])
+    .pipe(concat('vendor.js'))
+    .pipe(gulp.dest('dist/scripts'));
+});
+
 gulp.task('styles', ['html'], function() {
   return gulp.src(['src/*.css'])
     .pipe(concat('style.css'))
@@ -109,7 +115,7 @@ gulp.task('fonts', function() {
     .pipe(gulp.dest('dist/fonts'));
 });
 
-gulp.task('sources', ['riot-tag', 'riot-static-tag', 'scripts', 'scripts-static', 'styles'], function() {
+gulp.task('sources', ['riot-tag', 'riot-static-tag', 'scripts', 'vendor', 'scripts-static', 'styles'], function() {
   gulp.start();
 });