Implement workaround for flex --header-file option
-rw-r--r-- 147 .gitignore
-rw-r--r-- 283 AUTHORS
-rw-r--r-- 17992 COPYING
-rw-r--r-- 9236 INSTALL
-rw-r--r-- 1246 Makefile.am
-rw-r--r-- 3282 NEWS
-rw-r--r-- 1978 README
-rw-r--r-- 0 THANKS
-rw-r--r-- 419 TODO
-rwxr-xr-x 224 autogen.sh
drwxr-xr-x - build-aux
-rw-r--r-- 3904 configure.ac
drwxr-xr-x - data
drwxr-xr-x - doc
drwxr-xr-x - m4
drwxr-xr-x - pixmaps
drwxr-xr-x - src
drwxr-xr-x - tests