diff options
| author | pks <pks@users.noreply.github.com> | 2020-01-14 10:01:23 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-14 10:01:23 +0100 |
| commit | a8b1a9e3923c315a1ade856b0610f92489611cd5 (patch) | |
| tree | 20ba8d982dbc7528068c0f38feb01ce90c5d880f /de-sgm | |
| parent | b76bedcec1750586b88536203090c22d97dd64e7 (diff) | |
| parent | 587af4bea66b5bbe89163154141f4f5fa4c518e5 (diff) | |
Merge pull request #1 from lilt/master
Remove paragraph opening and closing tag (#1)
Diffstat (limited to 'de-sgm')
| -rwxr-xr-x | de-sgm | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -3,5 +3,5 @@ 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>$||" + | sed "s|<seg[^>]*>\s*||" | sed "s|\s*</seg>$||" | egrep -v "^[[:space:]]*<p>[[:space:]]*$|^[[:space:]]*</p>[[:space:]]*$" |