Extend 'make dist' to produce both .tar.bz2 and .zip archives, to
[openocd.git] / doc / 
treeb13eaecd600fe51a47e4e5229f4a96b1ad19a946
drwxr-xr-x   ..
-rw-r--r-- 8388 INSTALL.txt
-rw-r--r-- 431 Makefile.am
-rw-r--r-- 21054 fdl.texi
drwxr-xr-x - manual
-rw-r--r-- 3125 openocd.1
-rw-r--r-- 230973 openocd.texi