remove doc on the deprecated '-p' option
[openocd.git] / doc / 
tree8e6fe2062a36948c16b6ed16f1d74c616df4080e
drwxr-xr-x   ..
-rw-r--r-- 8385 INSTALL.txt
-rw-r--r-- 495 Makefile.am
-rw-r--r-- 21054 fdl.texi
drwxr-xr-x - manual
-rw-r--r-- 3238 openocd.1
-rw-r--r-- 310046 openocd.texi