Michael Schwingen <rincewind@discworld.dascon.de> fix previous doc patch
authoroharboe <oharboe@b42882b7-edfa-0310-969c-e2dbd0fdcd60>
Tue, 25 Aug 2009 13:00:45 +0000 (13:00 +0000)
committeroharboe <oharboe@b42882b7-edfa-0310-969c-e2dbd0fdcd60>
Tue, 25 Aug 2009 13:00:45 +0000 (13:00 +0000)
commit0c41395fc3cb106c3fe0ffb80bc5fe20e3d8b533
treedf84a9aaf63adba1db6f2be5340df752aedc55ff
parent7a1ac49ac921964f48e0bbd9e1bf0d151d99b17e
Michael Schwingen <rincewind@discworld.dascon.de> fix previous doc patch

git-svn-id: svn://svn.berlios.de/openocd/trunk@2619 b42882b7-edfa-0310-969c-e2dbd0fdcd60
doc/openocd.texi