Set User-Agent for Sphinx to fix gitlab.gnome.org

The linkcheck started to fail because of a new check on gitlab.gnome.org
that now forbids Sphinx User-Agent, returnin 406 HTTP status.

    (       chapter10: line  115) broken    https://gitlab.gnome.org/GNOME/libxml2/-/wikis/home - 406 Client Error: Not Acceptable for url: https://gitlab.gnome.org/GNOME/libxml2/-/wikis/home

(cherry picked from commit 617471d85d60309e6b970d311fa45f677afb4ade)

diff --git a/doc/arm/conf.py b/doc/arm/conf.py
index dd6f2aa29e21b4c359137a120a52cabdc734fb01..c358a600bd6d26505d10b0b1fe8fcbfc829d3852 100644 (file)
--- a/doc/arm/conf.py
+++ b/doc/arm/conf.py
@@ -168,6 +168,8 @@ release = version
 
 # -- General configuration ---------------------------------------------------
 
+user_agent = "Mozilla/5.0"
+
 # Add any Sphinx extension module names here, as strings. They can be
 # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom
 # ones.