Android: Don't put html docs to apk

diff --git a/build/android/Makefile b/build/android/Makefile
index 441c8bda9c7c2cadb56cdbfafd55d67e1fee5b45..0a817c97f5710aa65fe41a3c0d6f276e8de8d945 100644 (file)
--- a/build/android/Makefile
+++ b/build/android/Makefile
@@ -753,6 +753,7 @@ assets : $(ASSETS_TIMESTAMP)
        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/fonts;                                       \
        cp -r ${ROOT}/../../fonts/*.ttf ${ROOT}/assets/Minetest/fonts/;            \
        mkdir ${ROOT}/assets/Minetest/games;                                       \