Improve the release script before 0.2.0:
[openocd.git] / doc / 
tree7450043de55376a4f728c5f983e55d992b2cf203
drwxr-xr-x   ..
-rw-r--r-- 8388 INSTALL.txt
-rw-r--r-- 480 Makefile.am
-rw-r--r-- 21054 fdl.texi
drwxr-xr-x - manual
-rw-r--r-- 3125 openocd.1
-rw-r--r-- 231704 openocd.texi