doc/manual/style: Fix comments
authorMarc Schink <dev@zapb.de>
Mon, 5 Apr 2021 13:40:35 +0000 (15:40 +0200)
committerAntonio Borneo <borneo.antonio@gmail.com>
Sun, 11 Apr 2021 20:27:40 +0000 (21:27 +0100)
commit0ec9018040c2fd77807d80225b34e2fc7fb23e82
tree888c6127a57d73d782e344326f4ace94688d2b20
parent134d7d5a5876a53a10ecb2eeac8d193bdddcea81
doc/manual/style: Fix comments

The comments currently used are not rendered.

Change-Id: I3fcfb6aee4dea9c4f9186a7aec70d382a1abd634
Signed-off-by: Marc Schink <dev@zapb.de>
Reviewed-on: http://openocd.zylin.com/6133
Tested-by: jenkins
Reviewed-by: Antonio Borneo <borneo.antonio@gmail.com>
doc/manual/style.txt