commit: 14b961821ebdf0cb4719f93b8895f5871cf91bd4
parent: f6f8cf5f5e588737b2ae887b38d77398df58cb7d
author: Chris Noxz <chris@noxz.tech>
date: Sun, 24 Sep 2023 20:28:30 +0200
fix for groff adding an extra dash
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/build b/build
@@ -460,8 +460,8 @@ render_main_content() {
-e 's/<dd>/<dd><p>/g' \
-e 's/<p><!--/<!--/g' -e 's/--><\/p>/-->/g' \
-e 's/\[at\]/<span>\@<\/span>/g' \
- -e 's/\(src\|alt\)="[^"]*\(grohtml-[0-9]*.png\)/\1="\2/g' \
- -e 's/<p align="center"[^>]*>\(<img src="grohtml-[0-9]*.png\)/<p class="grohtml">\1/g' \
+ -e 's/\(src\|alt\)="[^"]*\(grohtml--[0-9]*.png\)/\1="\2/g' \
+ -e 's/<p align="center"[^>]*>\(<img src="grohtml--[0-9]*.png\)/<p class="grohtml">\1/g' \
-e 's/<p align="\(left\|center\|right\)"[^>]*>/<p class="\1">/g' \
| tidy -asxhtml \
| sed -e '/^\s*<dd><\/dd>$/d' \