Android APK builder includes too many files

[ShadowNinja]

Recently, it tried to add all of doc/, including doc/html/ which is over 300MiB! (I ended up just deleting the folder and regenerating it later because excluding it ended up being harder than I thought)
However, doc/ shouldn't really be included at all, since it's only accessible by browsing the "SD card" or unpacking the app.
I suspect there are other unnecessary files included, but I haven't done a thorough check.

[est31]

The license is in doc/, and we should ship with the license.
But yeah, we probably shouldn't put the doxygen docs inside.

[MoNTE48]

Anyone who needs to can open and read the license github.
Just do not need locale and media folders

[sapier]

#3454 clears any html folder that might end up in apk

[sapier]

fixed by dcb91cf

[ShadowNinja]

Said patch still copies the directory and deletes it afterwards, which means that it wastes a bunch of time and temporarily uses a lot of disk space. Also, doc/html isn't the only item that shouldn't be included, in fact the only thing from doc/ that should be included is maybe lgpl-2.1.txt. Also, client/serverlist probably shouldn't be included either.

[MoNTE48]

LGPL does require the inclusion of the contents of the file in the APK? Technically, there is no explanation anywhere that you can find the file in a specific folder on your system. Hence, it is necessary to create a separate tab in the game with a license, if necessary. Many users are stupid, they will not be looking for something in the file system.

[sapier]

this is picky I'm quite sure we've got worse problems then some memory on build machine used for a couple of seconds.
Feel free to fix it yourself if you believe it to be worth your time ;-)

[ShadowNinja]

#3471

[est31]

3471 would fix it.

[sapier]

fixed by b4eb614