doc/manual: fix formatting slightly

Signed-off-by: Thierry GUIBERT <[email protected]>
[[email protected]: split off the previous patch by Thierry]
Signed-off-by: Yann E. MORIN <[email protected]>

diff --git a/docs/manual/adding-board-support.txt b/docs/manual/adding-board-support.txt
index b3a880245236fea9427f2b6cb60677ac3fd90ada..ef6dbd3c2b925458dbd3069bf7f6f78fec7cbd13 100644 (file)
--- a/docs/manual/adding-board-support.txt
+++ b/docs/manual/adding-board-support.txt
@@ -49,9 +49,10 @@ Buildroot configuration. Refer to xref:customize[] for more details.
 
 Before submitting patches for new boards it is recommended to test it by
 building it using latest gitlab-CI docker container. To do this use
-utils/docker-run script and inside it issue these commands:
++utils/docker-run+ script and inside it issue these commands:
+
 --------------------
- $ make +<boardname>_defconfig+
+ $ make <boardname>_defconfig
  $ make
 --------------------