projects
/
soc.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Allow the formal engine to perform a same-cycle result in the ALU
[soc.git]
/
conf.py
diff --git
a/conf.py
b/conf.py
index 881c95e2be8804f3b048b35667782d0fbebd9551..d752f59ef042ac4b8d5f42bcebdf50308f0ee585 100644
(file)
--- a/
conf.py
+++ b/
conf.py
@@
-47,7
+47,7
@@
extensions = [
'sphinx.ext.coverage',
'recommonmark',
#'symbolator_sphinx',
'sphinx.ext.coverage',
'recommonmark',
#'symbolator_sphinx',
- 'sphinxcontrib_verilog_diagrams',
+ #'sphinxcontrib_verilog_diagrams', # XXX now spinxcontrib-hdl-diagrams
'sphinx_rtd_theme',
#'sphinx_tabs.tabs',
]
'sphinx_rtd_theme',
#'sphinx_tabs.tabs',
]
@@
-174,9
+174,13
@@
texinfo_documents = [
# -- Options for intersphinx extension ---------------------------------------
# -- Options for intersphinx extension ---------------------------------------
+lsocbase = 'https://docs.libre-soc.org/'
# Example configuration for intersphinx: refer to the Python standard library.
intersphinx_mapping = {"python": ('https://docs.python.org/3', None),
# Example configuration for intersphinx: refer to the Python standard library.
intersphinx_mapping = {"python": ('https://docs.python.org/3', None),
- "nmigen": ('https://nmigen.info/nmigen', 'latest')
+ "nmigen": ('https://nmigen.info/nmigen', 'latest'),
+ "openpower": (lsocbase+'openpower-isa', None),
+ #"nmutil": (lsocbase+'nmutil', None),
+ #"ieee754fpu": (lsocbase+'ieee754fpu', None),
}
# -- Options for todo extension ----------------------------------------------
}
# -- Options for todo extension ----------------------------------------------