Changed "]]" to "] ]" to keep old versions of flex happy.
treee6bcf51d6c3a0b8e1a5c349db6c48ba7d1b87e85
-rw-r--r-- 889 .gitignore
-rwxr-xr-x 287 Allwmake
-rw-r--r-- 17994 COPYING
-rw-r--r-- 8158 README
-rw-r--r-- 12236 README.html
-rw-r--r-- 10205 ReleaseNotes-1.5
-rw-r--r-- 13323 ReleaseNotes-1.5.html
drwxr-xr-x - applications
drwxr-xr-x - bin
drwxr-xr-x - doc
drwxr-xr-x - etc
drwxr-xr-x - src
drwxr-xr-x - tutorials
drwxr-xr-x - wmake