@end direntry
@c %**end of header
---- flex-2.5.31/doc/flex.texi~ 2005-12-25 19:53:23.925467592 +0100
-+++ flex-2.5.31/doc/flex.texi 2005-12-25 19:59:09.244971048 +0100
-@@ -1672,7 +1672,7 @@
- %%
- expect-floats BEGIN(expect);
-
-- <expect>[0-9]+@samp{.}[0-9]+ {
-+ <expect>[0-9]+\.[0-9]+ {
- printf( "found a float, = %f\n",
- atof( yytext ) );
- }
-@@ -3318,7 +3318,7 @@
- %option interactive
- %option always-interactive
-
-- @samp{^} beginning-of-line operator
-+ ^ beginning-of-line operator
- yymore()
- @end verbatim
- @end example
-@@ -3832,7 +3832,7 @@
- if(c == '\n')
- ++mylineno;
-
-- else if(c == @samp{*})
-+ else if(c == '*')
- {
- if((c = yyinput()) == '/')
- break;