diff --git a/doc/doxygen/src/getting-started.md b/doc/doxygen/src/getting-started.md index 9f9ee1a5cd..a0914866c6 100644 --- a/doc/doxygen/src/getting-started.md +++ b/doc/doxygen/src/getting-started.md @@ -353,8 +353,8 @@ Troubleshooting {#docker-troubleshooting} On some Ubuntu versions a make with `BUILD_IN_DOCKER=1` can't resolve the host name of for example github.com. To fix this add the file `/etc/docker/daemon.json` with the address of your DNS Server. -Generating `compile_commands.json` e.g. for code completion in IDEs -=================================================================== +Generating compile_commands.json e.g. for code completion in IDEs +================================================================= A `compile_commands.json` for the selected board can be generated by running inside the application folder the following: