doc: fix semihosting_redirect command documentation
commitfada2c001fcdd6b0629b64769752445b41116b83
authorTarek BOCHKATI <tarek.bouchkati@st.com>
Wed, 19 Oct 2022 13:26:28 +0000 (19 14:26 +0100)
committerAntonio Borneo <borneo.antonio@gmail.com>
Fri, 21 Oct 2022 18:22:53 +0000 (21 18:22 +0000)
tree81210823b5397f74c403708a7a0717e5920b90b9
parentc4f88aeb4d1f88f908f96ba252995c5ba247b737
doc: fix semihosting_redirect command documentation

Change-Id: I78c82a21e4160851a5c0b58394ac7897479808ff
Signed-off-by: Tarek BOCHKATI <tarek.bouchkati@st.com>
Reviewed-on: https://review.openocd.org/c/openocd/+/7278
Tested-by: jenkins
Reviewed-by: Antonio Borneo <borneo.antonio@gmail.com>
doc/openocd.texi