File: diff_webfilter.l-3

package info (click to toggle)
dict-gcide 0.44-2
  • links: PTS
  • area: main
  • in suites: woody
  • size: 59,496 kB
  • ctags: 2,052
  • sloc: asm: 53,717; fortran: 20,888; ansic: 8,030; sh: 1,441; lex: 1,342; makefile: 494; yacc: 443; perl: 235
file content (25 lines) | stat: -rw-r--r-- 1,588 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
 
--- ../dict-web1913-1.4-0.47pd/webfilter.l	Thu Jun  1 11:19:19 2000
+++ webfilter.l	Sat May 26 16:25:25 2001
@@ -120,6 +120,22 @@
                               if (dbg_test(DBG_DEBUG)) other(yytext,yyleng); }
 "</sub>"                    { src_advance(yyleng);
                               if (dbg_test(DBG_DEBUG)) other(yytext,yyleng); }
+"<subs>"                     { src_advance(yyleng);
+                              if (dbg_test(DBG_DEBUG)) other(yytext,yyleng); }
+"</subs>"                    { src_advance(yyleng);
+                              if (dbg_test(DBG_DEBUG)) other(yytext,yyleng); }
+"<sups>"                     { src_advance(yyleng);
+                              if (dbg_test(DBG_DEBUG)) other(yytext,yyleng); }
+"</sups>"                    { src_advance(yyleng);
+                              if (dbg_test(DBG_DEBUG)) other(yytext,yyleng); }
+"<sup>"                     { src_advance(yyleng);
+                              if (dbg_test(DBG_DEBUG)) other(yytext,yyleng); }
+"</sup>"                    { src_advance(yyleng);
+                              if (dbg_test(DBG_DEBUG)) other(yytext,yyleng); }
+"<supr>"                     { src_advance(yyleng);
+                              if (dbg_test(DBG_DEBUG)) other(yytext,yyleng); }
+"</supr>"                    { src_advance(yyleng);
+                              if (dbg_test(DBG_DEBUG)) other(yytext,yyleng); }
 "<b>"                       { src_advance(yyleng);
                               if (dbg_test(DBG_DEBUG)) other(yytext,yyleng); }
 "</b>"                      { src_advance(yyleng);