Follow-up Comment #1, bug #19088 (project freeciv):
Yes, inclusion of those scripts is required by GPL for the very reason that
others could build binaries. To be pedantic, producing binaries from tweaked
sources without then releasing those modified sources would be violation of
GPL too, or at least they should be stored in safe place in case someone
Reply to this item at:
Message sent via/by Gna!
Freeciv-dev mailing list