SOURCES: flex-info.patch - get rid of @samp{sth} in generated info...

[twittner]

Author: twittner                     Date: Sun Dec 25 19:08:13 2005 GMT
Module: SOURCES                       Tag: HEAD
---- Log message:
- get rid of @samp{sth} in generated info page

---- Files affected:
SOURCES:
   flex-info.patch (1.3 -> 1.4) 

---- Diffs:

================================================================
Index: SOURCES/flex-info.patch
diff -u SOURCES/flex-info.patch:1.3 SOURCES/flex-info.patch:1.4
--- SOURCES/flex-info.patch:1.3	Thu Jun 19 02:38:19 2003
+++ SOURCES/flex-info.patch	Sun Dec 25 20:08:07 2005
@@ -12,3 +12,32 @@
  @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]+ at 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;
================================================================

---- CVS-web:
    http://cvs.pld-linux.org/SOURCES/flex-info.patch?r1=1.3&r2=1.4&f=u