From 4220f65bf857aee74c5efe0c222f7e08de12753d Mon Sep 17 00:00:00 2001 From: Gunar Schorcht Date: Sun, 6 Mar 2022 15:18:37 +0100 Subject: [PATCH] doc: remove backticks from headings in "Getting Started" Backticks in headings no longer seem to work in doxygen markdown support. --- doc/doxygen/src/getting-started.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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: