Android: For armv71 architecture, use the armel build

This commit was sponsored by Boyd Stephen Smith Jr. on Patreon.

CHANGELOG

@@ -43,6 +43,7 @@ git-annex (7.20181212) UNRELEASED; urgency=medium
     webdav support is going away at the end of this January.
   * webapp: Remove configurator for gitlab, which stopped supporting git-annex
     some time ago.
+  * Android: For armv71 architecture, use the armel build.
 
  -- Joey Hess <id@joeyh.name>  Tue, 18 Dec 2018 12:24:52 -0400
 

doc/bugs/android_installation_fails.mdwn

@@ -25,3 +25,4 @@ source git-annex-install
 ### Have you had any luck using git-annex before? (Sometimes we get tired of reading bug reports all day and a lil' positive end note does wonders)
 Yeah, almost every day
 
+> Updated the script per comments. [[done]] --[[Joey]]

doc/install/Android/git-annex-install

@@ -18,6 +18,9 @@ case $(uname -m) in
 	arm)
 		arch=armel
 		;;
+	armv71)
+		arch=armel
+		;;
 	x86_64)
 		arch=amd64
 		;;