aboutsummaryrefslogtreecommitdiff
path: root/doc/openocd.texi
diff options
context:
space:
mode:
authorAntonio Borneo <borneo.antonio@gmail.com>2022-12-18 19:12:35 +0100
committerAntonio Borneo <borneo.antonio@gmail.com>2023-03-25 18:10:54 +0000
commit880ae3f07744a09e267bde00cf405c85a6f10482 (patch)
tree9d13d270986999732fe2d82546c3c1601761bba7 /doc/openocd.texi
parent842a12f4caf307e756045c14011c402a20da30b6 (diff)
downloadriscv-openocd-880ae3f07744a09e267bde00cf405c85a6f10482.zip
riscv-openocd-880ae3f07744a09e267bde00cf405c85a6f10482.tar.gz
riscv-openocd-880ae3f07744a09e267bde00cf405c85a6f10482.tar.bz2
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
Diffstat (limited to 'doc/openocd.texi')
-rw-r--r--doc/openocd.texi6
1 files changed, 4 insertions, 2 deletions
diff --git a/doc/openocd.texi b/doc/openocd.texi
index 26a59e6..6766184 100644
--- a/doc/openocd.texi
+++ b/doc/openocd.texi
@@ -9101,8 +9101,10 @@ format. Optional @option{start} and @option{end} parameters allow to
limit the address range.
@end deffn
-@deffn {Command} {version}
-Displays a string identifying the version of this OpenOCD server.
+@deffn {Command} {version} [git]
+Returns a string identifying the version of this OpenOCD server.
+With option @option{git}, it returns the git version obtained at compile time
+through ``git describe''.
@end deffn
@deffn {Command} {virt2phys} virtual_address