Use installed gforth to take gforth.txt from

Author: forthy42

arch/arm/android/build.sh

@@ -133,7 +133,7 @@ then
 	if [ "$1" != "--no-config" ]; then make extras || exit 1; fi
 	echo -n " debdist" 1>&3
 	mkdir -p debian/sdcard/gforth/current/doc
-	cp doc/gforth.txt debian/sdcard/gforth/current/doc
+	cp `gforth provides.fs -e '"doc/gforth.txt" >abspath type bye'` debian/sdcard/gforth/current/doc
 	make setup-debdist || exit 1) || exit 1
     if [ "$1" == "--no-config" ]
     then

provides.fs

@@ -42,12 +42,6 @@ $variable provider-file
     \G what's the source provider's file name?
     provider-file $@ 2dup d0= IF  2drop sourcefilename >abspath  THEN ;
 
-[IFUNDEF] provides-file
-    : provides-file ( -- addr u )
-	${XDG_DATA_HOME} dup 0= IF  2drop "~/.local/share"  THEN
-	[: type ." /gforth/provides" ;] $tmp ;
-[THEN]
-
 $variable last-provider
 0 Value provides.fd