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

diff --git a/doc/arm/conf.py b/doc/arm/conf.py
index 3a58eb3fe6d31b74a2cef3a3f7f86cf739ba978a..38f727ee4119348efc44574062d083739ea5f20f 100644 (file)
--- a/doc/arm/conf.py
+++ b/doc/arm/conf.py
@@ -164,6 +164,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.