gulpfile update

gulpfile.js

@@ -44,10 +44,10 @@ gulp.task("copy", function(){
 	gulp.src("./assets/graphics/*")
 		.pipe(gulp.dest("./public/graphics"));
 
-	gulp.src("./3rdparty/*")
-		.pipe(gulp.dest("./public"));
-
-	gulp.src("robots.txt")
+	gulp.src([
+		"./3rdparty/*",
+		"robots.txt"
+	])
 		.pipe(gulp.dest("./public"));
 });