diff options
author | rsc <devnull@localhost> | 2005-01-30 16:48:14 +0000 |
---|---|---|
committer | rsc <devnull@localhost> | 2005-01-30 16:48:14 +0000 |
commit | b8e710da0bbc3e7d1ff992b1ceff4cb1c67149c8 (patch) | |
tree | bb27cba8129a5c530fb43630eaeb7e7b687a1af4 /src/cmd | |
parent | 669a062b5ac041312f6b9371b665f9c1e2b93799 (diff) | |
download | plan9port-b8e710da0bbc3e7d1ff992b1ceff4cb1c67149c8.tar.gz plan9port-b8e710da0bbc3e7d1ff992b1ceff4cb1c67149c8.tar.bz2 plan9port-b8e710da0bbc3e7d1ff992b1ceff4cb1c67149c8.zip |
why bother?
Diffstat (limited to 'src/cmd')
-rw-r--r-- | src/cmd/delatex.lx | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/src/cmd/delatex.lx b/src/cmd/delatex.lx index 063aa7dc..04f2480c 100644 --- a/src/cmd/delatex.lx +++ b/src/cmd/delatex.lx @@ -1,9 +1,10 @@ /* Make this with: lex delatex.lex; cc lex.yy.c -ll -o delatex */ L [A-Za-z] -%Start Display Math Normal Tag +%Start Display Math Normal Tag VerbPlus Bracket %% <Normal>\' {yyleng--; yymore(); /* ignore apostrophes */} <Normal>{L}+\\- {yyleng-=2; yymore(); /* ignore hyphens */} +<Normal>[a-zA-Z0-9_]+@[a-zA-Z0-9_.]+ ; /* ignore email addresses */ <Normal>[a-z]/[^A-Za-z] ; /* ignore single letter "words" */ <Normal>[A-Z]+ ; /* ignore words all in uppercase */ <Normal>{L}+('{L}*)*{L} {printf("%s\n",yytext); /* any other letter seq is a word */} @@ -21,8 +22,19 @@ L [A-Za-z] <Normal>"\\label{" BEGIN Tag; <Normal>"\\pageref{" BEGIN Tag; <Normal>"\\ref{" BEGIN Tag; +<Normal>"\\verb+" BEGIN VerbPlus; +<Normal>"\\documentclass[" BEGIN Bracket; +<Normal>"\\documentclass{" BEGIN Tag; +<Normal>"\\usepackage[" BEGIN Bracket; +<Normal>"\\usepackage{" BEGIN Tag; +<Bracket>[^\]] ; +<Bracket>"][" ; +<Bracket>"]{" BEGIN Tag; +<Bracket>"]" BEGIN Normal; <Tag>[^}] ; /* ignore things up to next "}" */ <Tag>"}" BEGIN Normal; +<VerbPlus>[^+] ; /* ignore thing up to next "+" */ +<VerbPlus>"+" BEGIN Normal; <Normal>[0-9]+ ; /* ignore numbers */ <Normal>"\\(" BEGIN Math; /* begin latex math mode */ <Math>"\\)" BEGIN Normal; /* end latex math mode */ |