'sphinx.ext.coverage',
'recommonmark',
#'symbolator_sphinx',
- 'sphinxcontrib_verilog_diagrams',
+ #'sphinxcontrib_verilog_diagrams', # XXX now spinxcontrib-hdl-diagrams
'sphinx_rtd_theme',
#'sphinx_tabs.tabs',
]
intersphinx_mapping = {"python": ('https://docs.python.org/3', None),
"nmigen": ('https://nmigen.info/nmigen', 'latest'),
"openpower": (lsocbase+'openpower-isa', None),
- "nmutil": (lsocbase+'nmutil', None),
- "ieee754fpu": (lsocbase+'ieee754fpu', None),
+ #"nmutil": (lsocbase+'nmutil', None),
+ #"ieee754fpu": (lsocbase+'ieee754fpu', None),
}
# -- Options for todo extension ----------------------------------------------