--- flex-2.5.31/doc/flex.texi.orig	2003-03-27 19:02:59.000000000 +0100
+++ flex-2.5.31/doc/flex.texi	2003-06-19 00:32:50.000000000 +0200
@@ -7,9 +7,9 @@
 @defindex hk
 @c  "Options" index
 @defindex op
-@dircategory Programming
+@dircategory Programming tools:
 @direntry
-* flex: (flex).      Fast lexical analyzer generator (lex replacement).
+* flex: (flex).				Fast lexical analyzer generator
 @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;