doc: fix use of deprecated config file in the example
[openocd.git] / doc / 
tree993f81fa8cabae28303af31438f8c046b4e34f0a
drwxr-xr-x   ..
-rw-r--r-- 206 Makefile.am
-rw-r--r-- 21054 fdl.texi
drwxr-xr-x - manual
-rw-r--r-- 3237 openocd.1
-rw-r--r-- 408306 openocd.texi