https://gcc.gnu.org/g:e7087d5ca0e566215dffac6f805ea375d10340fc
commit r16-6318-ge7087d5ca0e566215dffac6f805ea375d10340fc Author: Gerald Pfeifer <[email protected]> Date: Sun Dec 21 23:00:52 2025 +0800 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: --- maintainer-scripts/update_web_docs_git | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/maintainer-scripts/update_web_docs_git b/maintainer-scripts/update_web_docs_git index 44c7384ca2df..26c0b1b05b9d 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)
