From: twittner <twittner@pld-linux.org>
Date: Sun, 25 Dec 2005 19:08:07 +0000 (+0000)
Subject: - get rid of @samp{sth} in generated info page
X-Git-Tag: AC-STABLE~4
X-Git-Url: http://git.pld-linux.org/?p=packages%2Fflex.git;a=commitdiff_plain;h=c1c8c6e7ae0086bb7360873938a676c2c03500b2

- get rid of @samp{sth} in generated info page

Changed files:
    flex-info.patch -> 1.4
---

diff --git a/flex-info.patch b/flex-info.patch
index 86c2d83..15089ec 100644
--- a/flex-info.patch
+++ b/flex-info.patch
@@ -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]+@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;