- `certs` and `editor_fonts` go to `thirdparty`
- `dist` and `scripts` go to a new `misc` folder
- `collada` and `doc` go to `tools/editor`
The next step will be to rename `tools/editor` to `editor` directly,
but this will be done at the right time to avoid breaking too many PRs.
(cherry picked from commit b87a232668
)
5 lines
226 B
Bash
5 lines
226 B
Bash
convert -resize 32x32 ../../icon.svg icon32.ico
|
|
convert -resize 32x32 ../../icon.svg icon32.icns
|
|
for s in 16 24 32 64 96 128 256; do convert -resize ${s}x$s ../../icon.svg icon$s.png; done
|
|
zip icons.zip icon*.png
|
|
rm icon*.png
|