From: R Veera Kumar <vklr@vkten.in>
Date: Sat, 5 Jun 2021 02:31:29 +0000 (+0530)
Subject: Remove comment sign and add correct path for nmigen intersphinx.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c62fa3a7ee95832587d7725729dcdb9a002ae015;p=ieee754fpu.git

Remove comment sign and add correct path for nmigen intersphinx.
---

diff --git a/conf.py b/conf.py
index 01e7bb46..2e8a7b22 100644
--- a/conf.py
+++ b/conf.py
@@ -176,7 +176,7 @@ texinfo_documents = [
 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', None),
                        "openpower": (lsocbase+'openpower-isa', None),
                        "soc": (lsocbase+'soc', None),
 }