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, 0 insertions, 17 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 deleted file mode 100644 index ba3da2ee8..000000000 --- a/source/ap/linuxdoc-tools/sources/linuxdoc-tools-0.9.68-flex.patch +++ /dev/null @@ -1,17 +0,0 @@ ---- 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 |