linuxdoc-tools/linuxdoc-tools-0.9.68-flex.patch

18 lines
535 B
Diff
Raw Normal View History

2013-02-19 10:20:27 +00:00
--- 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