From 841d5051cb7b3fd2dcabc070362564c6a24b37dd Mon Sep 17 00:00:00 2001
From: Alex Ling <hkalexling@gmail.com>
Date: Thu, 18 Jun 2020 15:09:18 +0000
Subject: [PATCH] Copy robots.txt to dist/ in gulpfile

---
 gulpfile.js | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/gulpfile.js b/gulpfile.js
index b3fc62a..6d8502a 100644
--- a/gulpfile.js
+++ b/gulpfile.js
@@ -28,9 +28,9 @@ gulp.task('img', () => {
 		.pipe(gulp.dest('dist/img'));
 });
 
-gulp.task('favicon', () => {
-	return gulp.src('public/favicon.ico')
+gulp.task('copy-files', () => {
+	return gulp.src('public/*.*')
 		.pipe(gulp.dest('dist'));
 });
 
-gulp.task('default', gulp.parallel('minify-js', gulp.series('less', 'minify-css'), 'img', 'favicon'));
+gulp.task('default', gulp.parallel('minify-js', gulp.series('less', 'minify-css'), 'img', 'copy-files'));