summaryrefslogtreecommitdiffstats
path: root/dic
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2017-08-10 10:05:34 +0200
committertv <tv@krebsco.de>2017-08-10 10:05:34 +0200
commita84469066c929490803bfcf0fd52e94a8d0a4056 (patch)
tree1c3426f23a49dbe5fd9a617d27fdbe2d3d0798cd /dic
parentf40ecdc22998d67ea2061d0422b2ffa19472d580 (diff)
recognize <domain> and <flecttabref>v1.0.2
Diffstat (limited to 'dic')
-rwxr-xr-xdic11
1 files changed, 9 insertions, 2 deletions
diff --git a/dic b/dic
index 73e195d..fb81251 100755
--- a/dic
+++ b/dic
@@ -68,8 +68,15 @@ simplify() {
s:<b> *::g
s: *</b>::g
- s|<small> *||g
- s| *</small>||g
+ s|<small> *||g
+ s| *</small>||g
+
+ s|<domain> *||g
+ s| *</domain>||g
+
+ # "Verbtabelle" and plural
+ s:<flecttabref> *::g
+ s: *</flecttabref>::g
'
}