From c7efe681f29a200b0fdcb2ec032ea84298364bed Mon Sep 17 00:00:00 2001
From: Ciro Santilli <cirosantilli@proton.me>
Date: Thu, 4 Aug 2022 13:01:45 +0000
Subject: [PATCH] also remove .html from internal links that have fragment

---
 push | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/push b/push
index 143eac6..df225cd 100755
--- a/push
+++ b/push
@@ -32,7 +32,7 @@ function multipage-fixup() (
   find "$1" -name '*.html' ! -name 'index.html' | xargs perl -lapi -e '
 s/<h[2-6] id="/<h2 id="/g;
 s/href="README.html"/href="index-split"/g;
-s/(href="(?![^"]+:\/\/)[^"]+).html"/\1"/g;
+s/(href="(?![^"]+:\/\/)[^"]+).html(#[^"]*)?"/\1\2"/g;
 '
   # Not possible, it is identical to other lists actually...
   # s/(<div class="paragraph nav-footer">)/<h2>Table of contents<\/h2>\1/g;