Small tweaks to the deploy scripts

This commit is contained in:
Pieter Vander Vennet 2021-04-10 15:01:28 +02:00
parent 4e1fc46ff2
commit a8aaf4b219
10 changed files with 65 additions and 19 deletions

View file

@ -9,6 +9,10 @@ function genImages() {
const allNames: string[] = [];
for (const path of dir) {
if(path.endsWith("license_info.json")){
continue;
}
if (!path.endsWith(".svg")) {
throw "Non-svg file detected in the svg files: " + path;
}