0.4.8 Update

case-insensitive cross-references

Author: lcrippa

pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = 'sphinxfortran_ng'
-version = '0.4.7'
+version = '0.4.8'
 authors = [{name = "Lorenzo Crippa", email="[email protected]"}]
 description = "An improved version of the sphinx-fortran python module"
 readme = "README.md"

src/sphinxfortran_ng/fortran_domain.py

@@ -1073,9 +1073,11 @@ def process_link(self, env, refnode, has_explicit_title, title, target):
             title = title.lstrip('.')   # only has a meaning for the target
             target = target.lstrip('~')  # only has a meaning for the title
             if target is not None:
+                target = target.lower()
                 found_target = False
                 targetshort = target.split(f_sep)[-1]
                 for ikey in env.domaindata['f']['objects'].keys(): #check if target is in this module
+                    ikey = ikey.lower()
                     if targetshort ==ikey.split(f_sep)[-1]:
                         found_target = True
                         break
@@ -1093,7 +1095,8 @@ def process_link(self, env, refnode, has_explicit_title, title, target):
                             ftypeslist = all_invs[which_invs[iinv]].keys()
                             for jkey in ftypeslist:
                                 for ikey in all_invs[which_invs[iinv]][jkey].keys():
-                                    if targetshort == ikey.split(f_sep)[-1] and ikey.startswith('f' + f_sep) and (targetlist==[] or (ikey not in targetlist[-1] and targetlist[-1] not in ikey)):
+                                    #if targetshort == ikey.split(f_sep)[-1] and ikey.startswith('f' + f_sep) and (targetlist==[] or (ikey not in targetlist[-1] and targetlist[-1] not in ikey)):
+                                    if targetshort.lower() == ikey.split(f_sep)[-1].lower() and ikey.lower().startswith('f' + f_sep.lower()) and (targetlist == [] or (ikey not in targetlist[-1] and targetlist[-1] not in ikey)):
                                         targetlist.append(ikey)
                         if len(targetlist)>1:
                             print("Warning, duplicate labels for "+title+": ",targetlist)