diff options
Diffstat (limited to 'support/detex/states.sed')
| -rw-r--r-- | support/detex/states.sed | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/support/detex/states.sed b/support/detex/states.sed deleted file mode 100644 index 1c99ebabe9..0000000000 --- a/support/detex/states.sed +++ /dev/null @@ -1,17 +0,0 @@ -# convert long labels to a shorter form so lex(1) won't overflow -s/LaBegin/SA/g -s/LaDisplay/SB/g -s/LaEnd/SC/g -s/LaEnv/SD/g -s/LaFormula/SE/g -s/LaInclude/SF/g -s/LaMacro2/SG/g -s/LaMacro/SH/g -s/LaVerbatim/SI/g -s/Define/SJ/g -s/Display/SK/g -s/IncludeOnly/SL/g -s/\([ <]\)Input\([ >;]\)/\1SM\2/g -s/Math/SN/g -s/Normal/SO/g -s/Control/SP/g |