project.properties sets ant target to android-25, causing ant debug to fail

Create issue
Issue #155 new
25A0 created an issue

I followed the 'Building LOVE for Android' guide, but ant debug kept failing with the following error message:

BUILD FAILED
[...]/tools/ant/build.xml:538: Unable to resolve project target 'android-25'

I was only able to fix this by replacing target=android-25 with target=android-19 in project.properties.

If the guide instructs you to set up a complete toolchain for android 19, shouldn't project.properties then set the ant target to android 19, too? It seems odd to me that I have to change a file that ships with the repo in order to make the build work.