doc: remove duplicated words
authorAntonio Borneo <borneo.antonio@gmail.com>
Sat, 4 Jul 2020 17:38:00 +0000 (19:38 +0200)
committerAntonio Borneo <borneo.antonio@gmail.com>
Mon, 13 Jul 2020 23:39:18 +0000 (00:39 +0100)
commit3a5f84f8187ce5b473f0eaafa0d68d1ab23ec0cd
tree7f326e367134abe50e419e9a5b04120c58c52585
parent6962da00287c88c3fa89df8a8623a956735379db
doc: remove duplicated words

Remove occurrences of duplicated words in the documentation.

Change-Id: Ib6ef1607fc5e6387764be108b2b9c0c93ac10a62
Signed-off-by: Antonio Borneo <borneo.antonio@gmail.com>
Reviewed-on: http://openocd.zylin.com/5754
Tested-by: jenkins
Reviewed-by: Tarek BOCHKATI <tarek.bouchkati@gmail.com>
Reviewed-by: Tomas Vanek <vanekt@fbl.cz>
README
doc/manual/release.txt
doc/manual/server.txt
doc/manual/style.txt
doc/openocd.texi