Fix a documentation typo: build-platforms.sh -> gen-platforms.sh

Change-Id: Ieb1c9845874c82a92289df05e4c5f5587199f436

build/core/init.mk

@@ -466,7 +466,7 @@ ifndef NDK_PLATFORMS_ROOT
         $(if $(strip $(wildcard $(NDK_ROOT)/RELEASE.TXT)),\
             $(call __ndk_info,Please define NDK_PLATFORMS_ROOT to point to a valid directory.)\
         ,\
-            $(call __ndk_info,Please run build/tools/build-platforms.sh to build the corresponding directory.)\
+            $(call __ndk_info,Please run build/tools/gen-platforms.sh to build the corresponding directory.)\
         )
         $(call __ndk_error,Aborting)
     endif

build/tools/dev-rebuild-ndk.sh

@@ -156,14 +156,14 @@ ARCHS="$DEFAULT_ARCHS $ARCHS"
 # Build the platform
 echo
 echo "Build the ndk/platforms directory"
-logfile="$TOP/build-platforms.log"
+logfile="$TOP/gen-platforms.log"
 rotate_log $logfile
 $PROGDIR/gen-platforms.sh \
     $VERBOSE \
     --arch=$(spaces_to_commas $ARCHS)  \
     --minimal \
     --fast-copy > $logfile 2>&1
-fail_panic "build-platforms.sh failed. Logfile in $logfile"
+fail_panic "gen-platforms.sh failed. Logfile in $logfile"
 
 logfile="$TOP/rebuild-all.log"
 rotate_log $logfile

docs/text/DEVELOPMENT.text

@@ -30,14 +30,14 @@ II. Building the platforms tree:
 You need to do that once if you want to use the content of $NDK to build
 samples, tests or anything else:
 
-        $NDK/build/tools/build-platforms.sh
+        $NDK/build/tools/gen-platforms.sh
 
 What the script does is populate the $NDK/platforms and $NDK/samples
 directories from the content of development/ndk.
 
 What is under development/ndk is segregated by API level. This makes it
 easier to add a new platform to the tree, but is not well-suited to building
-stuff. The build-platforms.sh script will gather all files appropriately
+stuff. The gen-platforms.sh script will gather all files appropriately
 and place the result inside $NDK/platforms and $NDK/samples.
 
 Note: These directories are listed by $NDK/.gitignore, so they won't appear