From 7bd086ba1925ba96533d4d021527621c2f8f8c83 Mon Sep 17 00:00:00 2001 From: "John J. Camilleri" Date: Thu, 6 Dec 2018 10:18:31 +0100 Subject: [PATCH] Case-insensitve sed replacements handled the dumb way Because BSD sed != GNU sed --- bin/update_html | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/bin/update_html b/bin/update_html index c71c2e8ef..8e96139ca 100755 --- a/bin/update_html +++ b/bin/update_html @@ -23,7 +23,10 @@ function render_t2t_html { --infile="$t2t" # Replace with
so that Pandoc retains it - sed -i.bak "s/<(a|A) (name|NAME)=\"\(.*\)\"><\/(a|A)>/
<\/div>/" "$tmp" && rm "$tmp.bak" + # Do this for both cases since BSD sed doesn't support /i + sed -i.bak "s/<\/a>/