summaryrefslogtreecommitdiff
path: root/obsolete/support/detex/states.sed
diff options
context:
space:
mode:
Diffstat (limited to 'obsolete/support/detex/states.sed')
-rw-r--r--obsolete/support/detex/states.sed17
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