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.

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)