Next: Does there exist a "faster" NDFA->DFA algorithm?, Previous: The ’.’ isn’t working the way I expected., Up: FAQ [Contents][Index]
The flex source distribution includes a texinfo manual. You are free to convert that texinfo into whatever format you desire. The texinfo package includes tools for conversion to a number of formats.
flex
texinfo