From 7372f623eee82c367e5f86ffb2a44b09a2d2571c Mon Sep 17 00:00:00 2001
From: Peter Lawrence <12226419+majbthrd@users.noreply.github.com>
Date: Mon, 7 Jun 2021 11:05:33 -0500
Subject: [PATCH] pico-sdk is finally compatible with pico-debug

---
 howto/building.md | 22 +++-------------------
 1 file changed, 3 insertions(+), 19 deletions(-)

diff --git a/howto/building.md b/howto/building.md
index a5f321f..ed4c3d3 100644
--- a/howto/building.md
+++ b/howto/building.md
@@ -1,24 +1,8 @@
-## Download the Pico SDK and examples
+## Pico SDK
 
-Create a subdirectory to hold the files that you will download:
+If your local copy of Pico SDK was downloaded prior to 3 Jun 2021, you will need to reinstall it.  Versions prior to this are incompatible with pico-debug.
 
-```
-$ cd ~/
-$ mkdir pico
-$ cd pico
-```
-
-Clone the pico-sdk and pico-examples git repositories:
-
-*NOTE: a substitute for pico-sdk is presently utilized, since pico-sdk currently lacks important features.*
-
-```
-$ git clone https://github.com/majbthrd/pico-sdk.git --branch pll_init
-$ cd pico-sdk
-$ git submodule update --init
-$ cd ..
-$ git clone -b master https://github.com/raspberrypi/pico-examples.git
-```
+Pico SDK is available here: https://github.com/raspberrypi/pico-sdk
 
 ## Install the Toolchain