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#Alabaster 0.7.12#Alabaster#' \ + -e 's#Sphinx 5.3.0#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)