--- 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