diff options
Diffstat (limited to 'build')
| -rw-r--r-- | build/android/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build/android/Makefile b/build/android/Makefile index 441c8bda9..0a817c97f 100644 --- 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; \ |