From e481b5b61f7fc24e149ab840a7fd3108c5d5d143 Mon Sep 17 00:00:00 2001
From: Peter Lawrence <12226419+majbthrd@users.noreply.github.com>
Date: Fri, 26 Feb 2021 15:27:22 -0600
Subject: [PATCH] fixed typo in howto/openocd.md

---
 howto/openocd.md | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/howto/openocd.md b/howto/openocd.md
index 51c3300..5dbdf31 100644
--- a/howto/openocd.md
+++ b/howto/openocd.md
@@ -20,6 +20,8 @@ $ sudo apt install gdb-multiarch
 
 ## Use GDB, OpenOCD, and pico-debug to debug 'blinky'
 
+If you have not already built blinky (or whichever app that you might choose to debug), some [sample instructions are here](building.md).
+
 Obtain "pico-debug-gimmecache.uf2" from the Releases at:
 
 https://github.com/majbthrd/pico-debug
@@ -50,11 +52,11 @@ Info : starting gdb server for rp2040.core0 on 3333
 Info : Listening on port 3333 for gdb connections
 ```
 
-This OpenOCD terminal needs to be left open. So go ahead and open another terminal, in this one we’ll attach a gdb instance to OpenOCD:
+This OpenOCD terminal needs to be left open. So go ahead and open another terminal; in this one we’ll attach a gdb instance to OpenOCD:
 
 ```
 $ cd ~/pico/pico-examples/build/picoboard/blinky
-$ gdb-multiarch picoboard-blinky.elf
+$ gdb-multiarch picoboard_blinky.elf
 ```
 
 Connect GDB to OpenOCD:
@@ -63,7 +65,7 @@ Connect GDB to OpenOCD:
 (gdb) target remote localhost:3333
 ```
 
-and load picoboard-blinky.elf into flash:
+and load picoboard_blinky.elf into flash:
 
 ```
 (gdb) load