openocd: rewrite command 'version' as COMMAND_HANDLER
commit880ae3f07744a09e267bde00cf405c85a6f10482
authorAntonio Borneo <borneo.antonio@gmail.com>
Sun, 18 Dec 2022 18:12:35 +0000 (18 19:12 +0100)
committerAntonio Borneo <borneo.antonio@gmail.com>
Sat, 25 Mar 2023 18:10:54 +0000 (25 18:10 +0000)
tree9d13d270986999732fe2d82546c3c1601761bba7
parent842a12f4caf307e756045c14011c402a20da30b6
openocd: rewrite command 'version' as COMMAND_HANDLER

Trivial change.
While there:
- add the mandatory 'usage' field;
- document the optional parameter 'git';
- reword the documentation.

Change-Id: I6be4d4423128fa026a62e2ef355f77b69d50397e
Signed-off-by: Antonio Borneo <borneo.antonio@gmail.com>
Reviewed-on: https://review.openocd.org/c/openocd/+/7488
Tested-by: jenkins
doc/openocd.texi
src/openocd.c