changeset 191 | 18b32a5811f4 |
parent 181 | 33b61ec94acf |
child 213 | b13fd3784ba0 |
--- a/doc/GDB.md Wed Jun 12 12:38:16 2019 +0100 +++ b/doc/GDB.md Wed Jun 12 20:20:18 2019 +0100 @@ -18,7 +18,7 @@ * On *Debian Buster* (tested on as of 2018-11-26) ``` - apt-get install build-essentials texinfo python3-dev flex bison libfl libexpat-dev + apt-get install build-essentials texinfo python3-dev flex bison libfl libexpat-dev libsource-highlight-dev ``` * On *Ubuntu 18.04* (tested on as of 2019-03-20)