From: Gerald Pfeifer <gerald@pfeifer.com>
Date: Sun, 21 Dec 2025 15:00:52 +0000 (+0800)
Subject: maintainer-scripts: Avoid web redirects from Sphinx stylesheets
X-Git-Tag: basepoints/gcc-17~2486
X-Git-Url: http://git.ipfire.org/gitweb/?a=commitdiff_plain;h=e7087d5ca0e566215dffac6f805ea375d10340fc;p=thirdparty%2Fgcc.git

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 44c7384ca2d..26c0b1b05b9 100755
--- 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)