From f6e41571652f0505bbfc34b7e8c54e50cb1ccd4d Mon Sep 17 00:00:00 2001
From: Erik Vullings <erik.vullings@gmail.com>
Date: Sat, 22 Aug 2015 00:14:37 +0200
Subject: [PATCH] Added copying of favicon to gulp gh_pages.

---
 example/gulpfile.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/example/gulpfile.js b/example/gulpfile.js
index 32679bf6d..3bace6c17 100644
--- a/example/gulpfile.js
+++ b/example/gulpfile.js
@@ -148,6 +148,10 @@ gulp.task('gh_pages', function() {
         .pipe(plumber())
         .pipe(gulp.dest('./gh_pages/images/'));
 
+    gulp.src('public/favicon.*')
+        .pipe(plumber())
+        .pipe(gulp.dest('./gh_pages'));
+
     gulp.src('public/bower_components/angular-utils-pagination/*.*')
         .pipe(plumber())
         .pipe(gulp.dest('./gh_pages/bower_components/angular-utils-pagination/'));