diff -r 0509fe9ad879 -r 18b32a5811f4 doc/GDB.md --- 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)