K 10 svn:author V 6 johans K 8 svn:date V 27 2009-12-07T19:12:01.000000Z K 7 svn:log V 155 Install additional info file. The flex man page is very brief and points to this info file. PR: ports/139163 Submitted by: Anonymous END