Add redirects for GitHub README rendered pages "xref"ing to sub-sections

jimklimov · jimklimov · commit 5db2ec61e21f · 2026-04-07T00:59:22.000+02:00
Signed-off-by: Jim Klimov &lt;jimklimov@gmail.com&gt;
diff --git a/docs/user-manual.chunked/BigServers.html b/docs/user-manual.chunked/BigServers.html
@@ -0,0 +1 @@
+<HTML><HEAD><meta http-equiv="refresh" content="0; url=Configuration_notes.html#BigServers"/></HEAD><BODY>Please see <a href=Configuration_notes.html#BigServers>BigServers</a> section.</BODY></HTML>
diff --git a/docs/user-manual.chunked/UPS_shutdown.html b/docs/user-manual.chunked/UPS_shutdown.html
@@ -0,0 +1 @@
+<HTML><HEAD><meta http-equiv="refresh" content="0; url=Configuration_notes.html#UPS_shutdown"/></HEAD><BODY>Please see <a href=Configuration_notes.html#UPS_shutdown>UPS_shutdown</a> section.</BODY></HTML>
diff --git a/docs/user-manual.chunked/chapter-link.sh b/docs/user-manual.chunked/chapter-link.sh
@@ -0,0 +1,10 @@
+#!/bin/sh
+
+generate() {
+	P="$1"
+	U="Configuration_notes.html#$P"
+	printf '<HTML><HEAD><meta http-equiv="refresh" content="0; url=%s"/></HEAD><BODY>Please see <a href=%s>%s</a> section.</BODY></HTML>\n' "$U" "$U" "$P" > "$P.html"
+}
+
+for S in UPS_shutdown BigServers ; do generate $S; done
+

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+<HTML><HEAD><meta http-equiv="refresh" content="0; url=Configuration_notes.html#BigServers"/></HEAD><BODY>Please see <a href=Configuration_notes.html#BigServers>BigServers</a> section.</BODY></HTML>`