summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorthomasZen <thomas.zenkel@gmail.com>2020-01-13 14:17:30 +0100
committerGitHub <noreply@github.com>2020-01-13 14:17:30 +0100
commit587af4bea66b5bbe89163154141f4f5fa4c518e5 (patch)
tree20ba8d982dbc7528068c0f38feb01ce90c5d880f
parentb76bedcec1750586b88536203090c22d97dd64e7 (diff)
Remove paragraph opening and closing tag (#1)
-rwxr-xr-xde-sgm2
1 files changed, 1 insertions, 1 deletions
diff --git a/de-sgm b/de-sgm
index 664c18c..0b9177d 100755
--- a/de-sgm
+++ b/de-sgm
@@ -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:]]*$"