Mark
Mark
in this document, as of the 15 October 2024 update... [Getting Started With Pico](https://datasheets.raspberrypi.com/pico/getting-started-with-pico.pdf) Appendix A building OpenOCD installation instructions are missing a required line: **sudo make install** and optional...