Release docs: fix notes
[openocd/dave.git] / doc / 
treee777a9ea3f7afb0ad6fe023d6c9771d582d3031e
drwxr-xr-x   ..
-rw-r--r-- 8385 INSTALL.txt
-rw-r--r-- 480 Makefile.am
-rw-r--r-- 21054 fdl.texi
drwxr-xr-x - manual
-rw-r--r-- 3108 openocd.1
-rw-r--r-- 268848 openocd.texi