- automatically-generated verbatim.c shouldn't be in the repository
- CLEAN_FILES += verbatim.c

couple of minor patches to verbatim from Simon P.J.'s copy.

don't use 'flex -s' to compile verbatim: it wasn't designed for it :)

aaargh, what's this doing here?

Resurrected

Bulk of final changes for 2.01

Initial revision