aboutsummaryrefslogtreecommitdiff
path: root/docs/source/conf.py
blob: 1d22dbfd1652c4378e39b80191e9723489513bb2 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
# Configuration file for the Sphinx documentation builder.
#
# For the full list of built-in configuration values, see the documentation:
# https://www.sphinx-doc.org/en/master/usage/configuration.html

# -- Project information -----------------------------------------------------
# https://www.sphinx-doc.org/en/master/usage/configuration.html#project-information

project = 'Project Icestorm'
copyright = '2024, YosysHQ'
author = 'YosysHQ'

# -- General configuration ---------------------------------------------------
# https://www.sphinx-doc.org/en/master/usage/configuration.html#general-configuration

extensions = ['sphinx_rtd_theme',
              'sphinxcontrib.rsvgconverter'
              ]

templates_path = ['_templates']
exclude_patterns = []


# -- Options for HTML output -------------------------------------------------
# https://www.sphinx-doc.org/en/master/usage/configuration.html#options-for-html-output

html_theme = 'sphinx_rtd_theme'
html_theme_options = {
    "collapse_navigation": True,
    "sticky_navigation": True,
    "includehidden": True,
    "navigation_depth": 4,
    "titles_only": False
}
html_static_path = ['_static']

latex_engine = 'lualatex'