From: Antonio Borneo <borneo.antonio@gmail.com>
Date: Thu, 28 Mar 2019 11:14:56 +0000 (+0100)
Subject: doc: remove references to "ocd_" prefixed commands
X-Git-Tag: v0.11.0-rc1~674
X-Git-Url: https://review.openocd.org/gitweb?p=openocd.git;a=commitdiff_plain;h=24bfdf53fdb3f79dd6ef4c435feee5d94ab85a19;hp=24bfdf53fdb3f79dd6ef4c435feee5d94ab85a19

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
---