remove a licence file that is included in debian/copyright
Martin Quinson
7 years ago
38 | 38 | ln -s /usr/share/fonts/truetype/Nakula debian/tmp/usr/share/games/widelands/data/i18n/fonts |
39 | 39 | rm -r debian/tmp/usr/share/games/widelands/data/i18n/fonts/Sinhala |
40 | 40 | ln -s /usr/share/fonts/truetype/sinhala debian/tmp/usr/share/games/widelands/data/i18n/fonts/Sinhala |
41 | # Remove the licenses that are included in debian/copyright | |
42 | rm debian/tmp/usr/share/games/widelands/data/i18n/fonts/Culmus/LICENSE | |
41 | 43 | rm debian/tmp/usr/share/games/widelands/data/i18n/fonts/Widelands/LICENSE |
42 | # Do not include the GPL-2 license file again to keep lintian happy | |
43 | # (but the file is listed from the user interface, so dont kill it completely) | |
44 | # The GPL-2 license is listed from the user interface, so dont kill it completely | |
44 | 45 | # (we cannot patch the user interface because that's in a translated text) |
45 | 46 | if cmp --quiet debian/tmp/usr/share/games/widelands/COPYING /usr/share/common-licenses/GPL-2 ; then \ |
46 | 47 | rm debian/tmp/usr/share/games/widelands/COPYING; \ |