Moved web root into root of project; this makes deployment easier.

Also deleted 'docs', which is now redundant.
This commit is contained in:
Simon Brooke 2020-02-27 14:18:29 +00:00
parent a5204c66b9
commit 743d8a1740
No known key found for this signature in database
GPG key ID: A7A4F18D1D4DF987
1592 changed files with 53626 additions and 139250 deletions

View file

@ -0,0 +1,12 @@
#!/usr/bin/awk -f
BEGIN {
FS=",";
print( "#!/bin/bash");
print( "# Automatically generated bash script to generate all the named colours.");
}
{
gsub( / /, "-", $1);
printf( "cat Blank-pin.svg | sed 's/fill:#dddddc;/fill:%s;/' > \"%s-pin.svg\"\n", tolower($2), $1);
printf( "inkscape %s-pin.svg --export-png=X11-%s-pin.png\n", $1, tolower($1));
}