Merge pull request #3446 from t-fritsch/speed-up-livereload

speed up livereload

gulpfile.js

@@ -286,7 +286,7 @@ gulp.task('package', gulp.series(() =>
 
 ))
 
-gulp.task('reload', () => gulp.src(['**/*.html', '**/*.md'])
+gulp.task('reload', () => gulp.src(['index.html'])
     .pipe(connect.reload()));
 
 gulp.task('serve', () => {
@@ -300,7 +300,7 @@ gulp.task('serve', () => {
 
     const slidesRoot = root.endsWith('/') ? root : root + '/'
     gulp.watch([
-        slidesRoot + '**/*.html', 
+        slidesRoot + '**/*.html',
         slidesRoot + '**/*.md',
         `!${slidesRoot}**/node_modules/**`, // ignore node_modules
     ], gulp.series('reload'))