From d018eeae901406e5fa4fbb2243063bd64f46aa9e Mon Sep 17 00:00:00 2001 From: George Dunlap Date: Fri, 9 Oct 2020 12:26:48 +0100 Subject: [PATCH] Specify the master document Apparently older versions of sphinx default to the master document to be 'contents' rather than 'index'. Specify this so that we can build with older versions of sphinx (specifically, the one currently on xenbits). Signed-off-by: George Dunlap --- source/conf.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/source/conf.py b/source/conf.py index b63b196..704dfe3 100644 --- a/source/conf.py +++ b/source/conf.py @@ -14,6 +14,8 @@ # import sys # sys.path.insert(0, os.path.abspath('.')) +master_doc = 'index' + # -- Project information ----------------------------------------------------- -- 2.39.5