# HG changeset patch
# User Franz Glasner <hg@dom66.de>
# Date 1669989375 -3600
# Node ID 104a7776402b0d377718237df05e442305cd8f67
# Parent  2ff1e678e61161ace558aeb79533979b902aca2a
FIX: sphinx-build: make "index.rst" the master document instead of the default "contents.rst"

diff -r 2ff1e678e611 -r 104a7776402b docs/conf.py
--- a/docs/conf.py	Fri Dec 02 14:53:29 2022 +0100
+++ b/docs/conf.py	Fri Dec 02 14:56:15 2022 +0100
@@ -33,6 +33,8 @@
 
 # -- General configuration ---------------------------------------------------
 
+master_doc = "index"
+
 # Add any Sphinx extension module names here, as strings. They can be
 # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom
 # ones.