From: Luke Kenneth Casson Leighton Date: Sat, 24 Apr 2021 15:36:49 +0000 (+0100) Subject: add additional external libre-soc sphinx references... commented out for now X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e779461f88a8c3b4568a004648115881671dc731;p=soc.git add additional external libre-soc sphinx references... commented out for now --- diff --git a/conf.py b/conf.py index 34d9b3f7..12b29a4f 100644 --- a/conf.py +++ b/conf.py @@ -179,8 +179,8 @@ lsocbase = 'https://docs.libre-soc.org/' 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 ----------------------------------------------