Gulp snippets

copy-statics.js

// Copy static resources from your node modules - CSS files, font files etc.
let publicDir = "resources/public";

const copyStatics = async () => {
    var katex = {
        "css/fonts": {"pattern": "katex/dist/fonts/**/*"},
        "css": {"pattern": "katex/dist/**/*.min.css"}
    }

    var normalize = {
        "css": {"pattern": "normalize.css/normalize\.css"}
    }

    var groups = [katex, normalize];
    groups.forEach((group) => {
            for (let kind in group) {
                gulp.src(node_modules + "/" + group[kind].pattern)
                    .pipe(gulp.dest(publicDir + "/" + kind));
            }
        }
    )
}