maintainer-scripts: Avoid web redirects from Sphinx stylesheets

Replace the respective links by purely textual representations.

maintainer-scripts:
	* update_web_docs_git: Avoid redirects from Sphinx stylesheets.

diff --git a/maintainer-scripts/update_web_docs_git b/maintainer-scripts/update_web_docs_git
index 44c7384ca2dfe78e90f685c5dd0e2141104fdcee..26c0b1b05b9d9648091bf89bc6b501a2b682ffd3 100755 (executable)
--- a/maintainer-scripts/update_web_docs_git
+++ b/maintainer-scripts/update_web_docs_git
@@ -309,6 +309,14 @@ find jit $LIBGDIAGNOSTICS \
     -o -name "*.css" -o -name "*.js" \
     -o -name "*.txt" |
   while read file ; do
+    # Avoid bogus redirects stemming from Sphinx stylesheets.
+    case $file in
+      *.html)
+        sed -e 's#<a href="https://github.com/bitprophet/alabaster">Alabaster 0.7.12</a>#Alabaster#' \
+            -e 's#<a href="http://sphinx-doc.org/">Sphinx 5.3.0</a>#Sphinx#' \
+            -i $file
+       ;;
+    esac
     # Note that $file here will contain path fragments beginning
     # with "jit/", e.g. "jit/cp/topics/functions.html"
     mkdir -p $(dirname $DOCSDIR/$file)