Fix the stlink binary path

JerryScript-DCO-1.0-Signed-off-by: Levente Orban orbanl@inf.u-szeged.hu

Author: Levente Orban

targets/nuttx-stm32f4/README.md

@@ -33,6 +33,7 @@ jerry-nuttx
 #### 2. Adding JerryScript as an interpreter for NuttX
 
 ```
+# assuming you are in jerry-nuttx folder
 cd apps/interpreters
 mkdir jerryscript
 cp ../../jerryscript/targets/nuttx-stm32f4/* ./jerryscript/
@@ -85,12 +86,12 @@ make
 
 Connect Mini-USB for power supply and connect Micro-USB for `NSH` console.
 
-To configure `stlink` utility for flashing, follow the instructions [here](https://github.com/texane/stlink#build-from-sources).
+To configure `stlink` utility for flashing, follow the instructions in the official Stlink repository [here](https://github.com/texane/stlink).
 
 To flash,
 ```
 # assuming you are in nuttx folder
-sudo ../stlink/build/st-flash write nuttx.bin 0x8000000
+sudo ../stlink/build/Release/st-flash write nuttx.bin 0x8000000
 ```
 
 ### Running JerryScript