mirror of
https://github.com/wesnoth/wesnoth
synced 2025-04-28 19:32:35 +00:00
13bc062975
A Python version was added in b3fe980d709add4fb8b3fb88faad946bfe55e477, the main reason for removing the old one is that it's inconsistent to have two tools where one does almost (but not quite) the same as the other. Both versions check that the old and new images look the same. However, if any tool changed the pixels' values then old script would discard the changes from the other tools too. The new script checks the image after each tool is run, so that the optimisations from the other tools can still be kept. The indexed2rgb.sh script had a call to utils/wesnoth-optipng. It's deleted instead of updated because both wesnoth-optipng itself (since 17c242a9f) and the new woptipng both do what indexed2rgb.sh did (they all run ImageMagick with option "png:color-type=6").
This is a directory of miscellaneous developer tools for Battle for Wesnoth, mostly to support packaging, code integrity checks, and control of the Wesnoth servers.
Tools that work on data (WML, maps, images, sounds) no longer belong here. Go to data/tools for those.