X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=conf.py;h=aa2a8e691703b5af4e7cfee85fae807e2d5c4de8;hb=5253d016b8ea5a35927fdfe72340a0561b7f2cb7;hp=40879253170bcb01a029b76b3a64669a5e59b4dd;hpb=09f01a9c918d36ffe76e692799eba8300a18fecc;p=openpower-isa.git diff --git a/conf.py b/conf.py index 40879253..aa2a8e69 100644 --- a/conf.py +++ b/conf.py @@ -177,7 +177,8 @@ texinfo_documents = [ # 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') + # argh this trademarked domain name is now cyber-squatted + #"nmigen": ('https://nmigen.info/nmigen', 'latest') } # -- Options for todo extension ----------------------------------------------