From 82dd5376b1ca3426601146b1fefc5799567dc65d Mon Sep 17 00:00:00 2001 From: Benjamin Bannier Date: Thu, 4 Nov 2021 08:46:49 +0100 Subject: [PATCH] Fix build for RTD. This resolves the build problems due to sphinx-doc/sphinx#9727 we've been seeing. RTD seems to by default run a