From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sat, 24 Apr 2021 15:36:26 +0000 (+0100)
Subject: add additional external libre-soc sphinx references
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ba1cf6e1a9a6f7c5603c69675dbd1ea7f32911f2;p=soc.git

add additional external libre-soc sphinx references
---

diff --git a/conf.py b/conf.py
index 881c95e2..34d9b3f7 100644
--- 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 ----------------------------------------------