@@ -7,7 +7,7 @@ sys.path.insert(0, os.path.abspath('.'))
8version = "1.0.0"
8version = "1.0.0"
10−extensions = ['sphinx.ext.extlinks', 'sphinx.ext.todo']
10+extensions = ['sphinx.ext.extlinks', 'sphinx.ext.todo', 'sphinx_rtd_theme']
12templates_path = ['_templates']
12templates_path = ['_templates']
13source_suffix = '.rst'
13source_suffix = '.rst'
@@ -23,10 +23,14 @@ primary_domain = 'haskell'
24exclude_patterns = ['.build', "*.gen.rst"]
24exclude_patterns = ['.build', "*.gen.rst"]
26+html_theme = 'sphinx_rtd_theme'
27+html_theme_options = {
29+ 'navigation_depth': 5,
26# on_rtd is whether we are on readthedocs.org, this line of code grabbed from docs.readthedocs.org
33# on_rtd is whether we are on readthedocs.org, this line of code grabbed from docs.readthedocs.org
27on_rtd = os.environ.get('READTHEDOCS', None) == 'True'
34on_rtd = os.environ.get('READTHEDOCS', None) == 'True'
29−if not on_rtd: # only import and set the theme if we're building docs locally
36+todo_include_todos = True
30− import sphinx_rtd_theme
31− html_theme = 'sphinx_rtd_theme'
32− html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]