diff options
Diffstat (limited to 'source/ap/linuxdoc-tools/sources/linuxdoc-tools-0.9.68-flex.patch')
| -rw-r--r-- | source/ap/linuxdoc-tools/sources/linuxdoc-tools-0.9.68-flex.patch | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/source/ap/linuxdoc-tools/sources/linuxdoc-tools-0.9.68-flex.patch b/source/ap/linuxdoc-tools/sources/linuxdoc-tools-0.9.68-flex.patch new file mode 100644 index 00000000..ba3da2ee --- /dev/null +++ b/source/ap/linuxdoc-tools/sources/linuxdoc-tools-0.9.68-flex.patch @@ -0,0 +1,17 @@ +--- linuxdoc-tools-0.9.68/rtf-fix/rtf2rtf.l 2008-05-28 18:16:36.000000000 +0200 ++++ linuxdoc-tools-0.9.68/rtf-fix/rtf2rtf.l-patched 2013-02-19 11:10:25.367016000 +0100 +@@ -72,7 +72,14 @@ + int skipnewline = 0; + + extern char *yytext; ++ ++#if YY_FLEX_MAJOR_VERSION > 2 \ ++ || (YY_FLEX_MAJOR_VERSION == 2 && YY_FLEX_MINOR_VERSION > 5) \ ++ || (YY_FLEX_MAJOR_VERSION == 2 && YY_FLEX_MINOR_VERSION == 5 && YY_FLEX_SUBMINOR_VERSION > 35) ++extern yy_size_t yyleng; ++#else + extern int yyleng; ++#endif + + #define CHAPTER 1 + #define SECTION 2 |