Improve the process for GNU tools55/3355/3
[minix3.git] / external / bsd / flex / dist / doc / 
tree4c9887da1b2e4f06527837a4f40c9e0b2e5b891e
drwxr-xr-x   ..
-rw-r--r-- 27339 Makefile
-rw-r--r-- 525 Makefile.am
-rw-r--r-- 26996 Makefile.in
-rw-r--r-- 3739 flex.1
-rw-r--r-- 10415 flex.info
-rw-r--r-- 288420 flex.info-1
-rw-r--r-- 52182 flex.info-2
-rw-r--r-- 553361 flex.pdf
-rw-r--r-- 293690 flex.texi
-rwxr-xr-x 6095 mdate-sh
-rw-r--r-- 102 stamp-vti
-rw-r--r-- 320197 texinfo.tex
-rw-r--r-- 102 version.texi