From a9dbd9e14f42493442a09e33cc5145b7a641fcf3 Mon Sep 17 00:00:00 2001
From: Wolfgang Walther <walther@technowledgy.de>
Date: Thu, 3 Jun 2021 16:51:45 +0200
Subject: [PATCH] Add user-agent to sphinx config to fix some linkchecks

---
 conf.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/conf.py b/conf.py
index 29f4382cb..71122e56a 100644
--- a/conf.py
+++ b/conf.py
@@ -289,3 +289,7 @@ texinfo_documents = [
 
 def setup(app):
     app.add_css_file('css/custom.css')
+
+# taken from https://github.com/sphinx-doc/sphinx/blob/82dad44e5bd3776ecb6fd8ded656bc8151d0e63d/sphinx/util/requests.py#L42
+user_agent = 'Mozilla/5.0 (X11; Linux x86_64; rv:25.0) Gecko/20100101 Firefox/25.0'
+