add additional external libre-soc sphinx references

diff --git a/conf.py b/conf.py
index 881c95e2be8804f3b048b35667782d0fbebd9551..34d9b3f7ce3ea4c3ef647ba2a6d330a29609cd83 100644 (file)
--- a/conf.py
+++ b/conf.py
@@ -174,9 +174,13 @@ texinfo_documents = [
 
 # -- 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),
-                       "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 ----------------------------------------------