doc/openocd.texi: Document add_help_text and add_usage_text
authorYasushi SHOJI <yashi@spacecubics.com>
Sun, 21 Nov 2021 23:18:22 +0000 (08:18 +0900)
committerAntonio Borneo <borneo.antonio@gmail.com>
Fri, 3 Dec 2021 21:55:02 +0000 (21:55 +0000)
commit39197e3e5345964686b7d5e2c3fce3d63563a7e9
treeaa67cc5c45820109cc1eb0206a5a17d87dd4d540
parent6179d9f848a78908e9ca245c775a510ed1b6ac17
doc/openocd.texi: Document add_help_text and add_usage_text

Document add_help_text and add_usage_text under Genral Commands ->
Misc Commands.  The text are taken from command's help strings.

Change-Id: I2bbbee8e5faa8d9654227c304e0528f5144275e8
Signed-off-by: Yasushi SHOJI <yashi@spacecubics.com>
Reviewed-on: https://review.openocd.org/c/openocd/+/6734
Tested-by: jenkins
Reviewed-by: Antonio Borneo <borneo.antonio@gmail.com>
doc/openocd.texi