diff options
| author | emkael <emkael@tlen.pl> | 2017-06-07 14:14:21 +0200 |
|---|---|---|
| committer | emkael <emkael@tlen.pl> | 2017-06-07 14:14:21 +0200 |
| commit | 9cce0d58a297b13975f5a61074d514208be9e94c (patch) | |
| tree | c6efa7390144a70afd6e314727d21ade3da9e046 | |
| parent | 62b4ca23e0ac41653a35ddbe95ed6262a5f49f97 (diff) | |
Minifying ranking pages
| -rwxr-xr-x | bin/build.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/build.sh b/bin/build.sh index 901bb41..065fcbb 100755 --- a/bin/build.sh +++ b/bin/build.sh @@ -14,5 +14,7 @@ find $DIR -maxdepth 1 -type f -name \*.html | while read FILE do python editions.py $FILE + htmlmin $FILE $FILE.tmp + mv $FILE.tmp $FILE done python players.py $DIR/players |