diff options
Diffstat (limited to 'support/C++2LaTeX-1_1pl1/flex-patch')
-rw-r--r-- | support/C++2LaTeX-1_1pl1/flex-patch | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/support/C++2LaTeX-1_1pl1/flex-patch b/support/C++2LaTeX-1_1pl1/flex-patch new file mode 100644 index 0000000000..dc15f90e12 --- /dev/null +++ b/support/C++2LaTeX-1_1pl1/flex-patch @@ -0,0 +1,19 @@ +*** scan.l~ Tue Mar 20 20:38:59 1990 +--- scan.l Fri Mar 30 13:13:58 1990 +*************** +*** 89,95 **** + Char nmdef[MAXLINE], myesc(); + + ^{WS} indented_code = true; BEGIN(CODEBLOCK); +! ^#.*\n ++linenum; ECHO; /* treat as a comment */ + ^"/*" ECHO; BEGIN(C_COMMENT); + ^"%s"{NAME}? return ( SCDECL ); + ^"%x"{NAME}? return ( XSCDECL ); +--- 89,95 ---- + Char nmdef[MAXLINE], myesc(); + + ^{WS} indented_code = true; BEGIN(CODEBLOCK); +! ^#.*\n ++linenum; /* treat as a comment */ + ^"/*" ECHO; BEGIN(C_COMMENT); + ^"%s"{NAME}? return ( SCDECL ); + ^"%x"{NAME}? return ( XSCDECL ); |