Android: Fix extra files being copied to the APK

dcb91cf0c0c9a20622feeb4e5e8104ffbc9fa8ec hacked around the biggest issue
this caused, but wasted a lot of CPU time and disk space  It also still
included a lot of other unwanted files.  This removes all of `doc/` except
the license, and also removes the server list.

diff --git a/build/android/Makefile b/build/android/Makefile
index dd6c89ad93942d40a8c7ceca0fbc8a32c5c85566..42a46254a3a744278740065a49708cb77a465ff6 100644 (file)
--- a/build/android/Makefile
+++ b/build/android/Makefile
@@ -739,9 +739,9 @@ assets : $(ASSETS_TIMESTAMP)
        cp ${ROOT}/../../minetest.conf.example ${ROOT}/assets/Minetest;            \
        cp ${ROOT}/../../README.txt ${ROOT}/assets/Minetest;                       \
        cp -r ${ROOT}/../../builtin ${ROOT}/assets/Minetest;                       \
-       cp -r ${ROOT}/../../client ${ROOT}/assets/Minetest;                        \
-       cp -r ${ROOT}/../../doc ${ROOT}/assets/Minetest;                           \
-       rm -rf ${ROOT}/assets/Minetest/doc/html;                                   \
+       mkdir ${ROOT}/assets/Minetest/client;                                      \
+       cp -r ${ROOT}/../../client/shaders ${ROOT}/assets/Minetest/client;         \
+       cp ${ROOT}/../../doc/lgpl-2.1.txt ${ROOT}/assets/Minetest/LICENSE.txt;     \
        mkdir ${ROOT}/assets/Minetest/fonts;                                       \
        cp -r ${ROOT}/../../fonts/*.ttf ${ROOT}/assets/Minetest/fonts/;            \
        mkdir ${ROOT}/assets/Minetest/games;                                       \