diff options
author | thomasZen <thomas.zenkel@gmail.com> | 2020-01-13 14:17:30 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-01-13 14:17:30 +0100 |
commit | 587af4bea66b5bbe89163154141f4f5fa4c518e5 (patch) | |
tree | 20ba8d982dbc7528068c0f38feb01ce90c5d880f | |
parent | b76bedcec1750586b88536203090c22d97dd64e7 (diff) |
Remove paragraph opening and closing tag (#1)
-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:]]*$" |