diff options
Diffstat (limited to 'Build/source/texk/detex/detex-2.7/states.sed')
-rw-r--r-- | Build/source/texk/detex/detex-2.7/states.sed | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/Build/source/texk/detex/detex-2.7/states.sed b/Build/source/texk/detex/detex-2.7/states.sed deleted file mode 100644 index 1c99ebabe9e..00000000000 --- a/Build/source/texk/detex/detex-2.7/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 |