mistaken entry of EXT232-263 when it should be EXT200-263

[libreriscv.git] / openpower / pandoc_img.py

diff --git a/openpower/pandoc_img.py b/openpower/pandoc_img.py
index 5fb6745bb10dd5b1e6a4b10dc90d83902be691f7..f2f19f39fbd740249b593eacd7ca1bdc4d25f4b4 100755 (executable)
--- a/openpower/pandoc_img.py
+++ b/openpower/pandoc_img.py
@@ -59,7 +59,10 @@ def inlinenotes(k, v, f, meta):
         find_brack = v.find(']]')
         if find_brack == -1:
             return
+        hashtag = ""
         link = v[2:find_brack]
+        rest = link.split("#") # can be joined up again with '#'.join(rest)
+        link = rest[0]
         out.write("     link %s\n" % link)
         lookups = {'sv': 'Scalable Vectors for Power ISA',
                    'SV|sv': 'Scalable Vectors for Power ISA',
@@ -107,17 +110,20 @@ def inlinenotes(k, v, f, meta):
             out.write("     found RFC %s\n" % link)
             return [Link(['', [], []],
                          [Str("{RFC "+link+"}")],
-                         ['#%s' % link, '']), Str(v[find_brack+2:])]
+                         ['#%s' % link, '']), 
+                    Str(v[find_brack+2:])]
         if link in lookups:
             out.write("     found %s\n" % lookups[link])
             return [Link(['', [], []],
                          [Str("{"+lookups[link]+"}")],
-                         ['#%s' % link, '']), Str(v[find_brack+2:])]
+                         ['#%s' % linklookups(rest), '']),
+                    Str(v[find_brack+2:])]
         if '|' in link:
             link, ref = link.split("|")
             return [Link(['', [], []],
                          [Str(link)],
-                         [ref, '']), Str(v[find_brack+2:])]
+                         [ref, '']), 
+                    Str(v[find_brack+2:])]
     if k == 'Link':
         out.write("     link type %s\n" %
                   (type(v[1][0])))
@@ -137,6 +143,11 @@ def inlinenotes(k, v, f, meta):
         if re.fullmatch(r"< */ *small *>", v[1]):
             return [RawInline('latex', '}')]
 
+def linklookups(rest):
+    res = '#'.join(rest)
+    if len(rest[0]) == 0:
+        res = '_'.join(rest[1:])
+    return res
 
 if __name__ == "__main__":
     toJSONFilter(inlinenotes)