Next: Does there exist a "faster" NDFA->DFA algorithm?, Previous: The period isn't working the way I expected., Up: FAQ
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.