1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00

doc: remove backticks from headings in "Getting Started"

Backticks in headings no longer seem to work in doxygen markdown support.
This commit is contained in:
Gunar Schorcht 2022-03-06 15:18:37 +01:00
parent d1fd11c2f5
commit 4220f65bf8

View File

@ -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: