X-Git-Url: https://review.openocd.org/gitweb?p=openocd.git;a=blobdiff_plain;f=doc%2Fopenocd.texi;h=a9fe2906ce22c8e558a194697af0eae3be44664a;hp=0d7719defe1c4638bba0ae422ce76180ac85a830;hb=48f34382e3aa1c19480a1b004df35018cbadd93f;hpb=4a5045b143cad3b0bdba7c5590504bfc19e9a627

diff --git a/doc/openocd.texi b/doc/openocd.texi
index 0d7719defe..a9fe2906ce 100644
--- a/doc/openocd.texi
+++ b/doc/openocd.texi
@@ -3033,7 +3033,7 @@ parport cable wiggler
 
 @deffn {Interface Driver} {presto}
 ASIX PRESTO USB JTAG programmer.
-@deffn {Config Command} {presto_serial} serial_string
+@deffn {Config Command} {presto serial} serial_string
 Configures the USB serial number of the Presto device to use.
 @end deffn
 @end deffn