aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFelix Morgner <felix.morgner@gmail.com>2019-12-28 14:51:11 +0100
committerFelix Morgner <felix.morgner@gmail.com>2019-12-28 14:51:11 +0100
commitae6eb7295d854fcc4b40e72f28065283897d7b71 (patch)
tree7ba2849f73cc79b2d7dad95a59d46bbc8f9951c4
parent8a0267d8045a5a0a7f426c743f61c78491ddd92e (diff)
downloadnewtype-ae6eb7295d854fcc4b40e72f28065283897d7b71.tar.xz
newtype-ae6eb7295d854fcc4b40e72f28065283897d7b71.zip
doc: specify master document
-rw-r--r--doc/src/conf.py2
-rw-r--r--doc/src/new_type.rst (renamed from doc/src/index.rst)0
2 files changed, 2 insertions, 0 deletions
diff --git a/doc/src/conf.py b/doc/src/conf.py
index 305ef6b..d76c856 100644
--- a/doc/src/conf.py
+++ b/doc/src/conf.py
@@ -14,6 +14,8 @@ release = '1.0.0'
# -- General configuration ---------------------------------------------------
+master_doc = 'new_type'
+
extensions = [
'sphinx.ext.todo',
'sphinx.ext.githubpages',
diff --git a/doc/src/index.rst b/doc/src/new_type.rst
index 41f9675..41f9675 100644
--- a/doc/src/index.rst
+++ b/doc/src/new_type.rst