doc: remove references to "ocd_" prefixed commands 88/5088/5
authorAntonio Borneo <borneo.antonio@gmail.com>
Thu, 28 Mar 2019 11:14:56 +0000 (12:14 +0100)
committerTomas Vanek <vanekt@fbl.cz>
Tue, 14 May 2019 18:39:08 +0000 (19:39 +0100)
commit24bfdf53fdb3f79dd6ef4c435feee5d94ab85a19
treecd6d85569d065c5d83c0d9f31b1f8cc9cc404ba0
parent9eea9cce3f0931d9ecf3977211bd0f189be57c52
doc: remove references to "ocd_" prefixed commands

The commands prefixed with "ocd_" are removed.
Remove any reference in the documentation.

Change-Id: I27cebaa4752752ec8700757bf1c98b267c24f15b
Signed-off-by: Antonio Borneo <borneo.antonio@gmail.com>
Reviewed-on: http://openocd.zylin.com/5088
Reviewed-by: Tomas Vanek <vanekt@fbl.cz>
Tested-by: jenkins
doc/openocd.texi