diff options
Diffstat (limited to 'obsolete/support/detex/states.sed')
-rw-r--r-- | obsolete/support/detex/states.sed | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/obsolete/support/detex/states.sed b/obsolete/support/detex/states.sed new file mode 100644 index 0000000000..1c99ebabe9 --- /dev/null +++ b/obsolete/support/detex/states.sed @@ -0,0 +1,17 @@ +# 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 |