diff options
| author | Yorhel <git@yorhel.nl> | 2019-09-09 13:58:18 +0200 |
|---|---|---|
| committer | Yorhel <git@yorhel.nl> | 2019-09-09 13:58:34 +0200 |
| commit | 4759dde0e941bcdd8df373b629a1df238a311cf5 (patch) | |
| tree | 3f99244826436ad571bc43936905ea7408c51209 /.gitignore | |
| parent | 015e3ed49b3ab58c6c70d97e2836a4d11381a6a6 (diff) | |
spritegen.pl: Move compression to "make prod"
I think this is the last one. 'make' in a development environment is now
beautifully fast and 'make prod' generates nicely small assets.
(arguably we could have an even faster dev setup by not generating an
icons.png in the first place, but then we'd need more code to
differentiate between dev & prod, which is also a pain)
This change does remove the "slow" option that would use the compressed
image size in the optimization algorithm, but I hadn't used that option
for a while anyway, it takes an hour and only saves about 100 bytes.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -9,6 +9,7 @@ /elm3/Lib/Gen.elm /static/f/js/ /static/f/icons.png +/static/f/icons.opt.png /static/f/vndb.js /static/f/vndb.min.js /static/f/vndb.min.js.gz |