From b73f033b08113bf4c98beb1a4062a1aa9de5026a Mon Sep 17 00:00:00 2001
From: "John J. Camilleri" <john@digitalgrammars.com>
Date: Wed, 5 Dec 2018 16:11:33 +0100
Subject: [PATCH] Rewrite <a name=...> to <div id=...> to preserve page anchors
 in Pandoc

---
 bin/update_html | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/bin/update_html b/bin/update_html
index bb0ce3ad4..2d2ac4dc0 100755
--- a/bin/update_html
+++ b/bin/update_html
@@ -22,6 +22,9 @@ function render_t2t_html {
     --outfile="$tmp" \
     --infile="$t2t"
 
+  # Replace <A NAME="toc3"></A> with <div id="toc3"></div> so that Pandoc retains it
+  sed -i.bak "s/<A NAME=\"\(.*\)\"><\/A>/<div id=\"\1\"><\/div>/" "$tmp" && rm "$tmp.bak"
+
   # Capture first 3 lines of t2t file: title, author, date
   # Documentation here: https://txt2tags.org/userguide/headerarea
   l1=$(head -n 1 "$t2t")