summaryrefslogtreecommitdiffstats
path: root/dic
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2016-11-11 12:06:47 +0100
committertv <tv@krebsco.de>2016-11-11 12:06:47 +0100
commitac423ec222b0f6e5e66d019a8279fb72cb6bd8ab (patch)
treef3c944569b43f52ccadd66362d7d96abe300d933 /dic
parent4858b91a264323750519bc2d2f6c75e509e15a54 (diff)
dic: ignore <m>, <sr>, and <t>v1.0.0
Diffstat (limited to 'dic')
-rwxr-xr-xdic4
1 files changed, 4 insertions, 0 deletions
diff --git a/dic b/dic
index b3dac84..d02af15 100755
--- a/dic
+++ b/dic
@@ -39,6 +39,10 @@ simplify() {
s// - /g
s//\n/g
+ s|</\?m\>[^>]*>||g
+ s|</\?sr\>[^>]*>||g
+ s|</\?t\>[^>]*>||g
+
#q
s/&#8660;/⇔/g