diff options
| author | Patrick Simianer <patrick@lilt.com> | 2019-12-24 09:43:31 +0000 |
|---|---|---|
| committer | Patrick Simianer <patrick@lilt.com> | 2019-12-24 09:43:31 +0000 |
| commit | a4c4b61203c22c1aea71800466d157d79013070e (patch) | |
| tree | 451fa1d57f33f1110d3af24c6fa295e4ebc7198b | |
| parent | 4e4ff0ea1c1753e31ac46a5fa31350171f9e64d1 (diff) | |
de-sgm: tags w/ properties
| -rwxr-xr-x | de-sgm | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,7 +1,7 @@ #!/bin/sh -egrep -v "^[[:space:]]*(<\?xml.*\?>|</?(mteval|doc|srcset|refset)[^>]*>)[[:space:]]*$" \ - | egrep -v "^[[:space:]]*<(url|description|keywords|talkid|title)>.*</(url|description|keywords|talkid|title)>[[:space:]]*$" \ +egrep -v "^[[:space:]]*(<\?xml.*\?>|</?(mteval|doc|srcset|refset|translator|reviewer)[^>]*>)[[:space:]]*$" \ + | egrep -v "^[[:space:]]*<(url|description|keywords|talkid|title|translator|reviewer)[^>]*>.*</(url|description|keywords|talkid|title|translator|reviewer)>[[:space:]]*$" \ | sed "s|<seg[^>]*>\s*||" | sed "s|\s*</seg>$||" |