Adjustment of commit 07078d9 for manual.six

Reintroduce using the attribute 'Subkey' for <Index> as subkey if not given as element.
fingolfin · May 3, 2022 · cca1173 · cca1173
1 parent 7860b55
commit cca1173
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/lib/GAPDoc2Text.gi b/lib/GAPDoc2Text.gi
@@ -622,6 +622,9 @@ GAPDoc2TextProcs.WHOLEDOCUMENT := function(r, par)
   for a in r.index do
     if Length(a) > 5 then
       Add(r.six, [Concatenation(a[4], " ", a[6]), a[3], a[5]]);
+    elif Length(a[2]) > 0 then
+      # subkey given as attribute, no markup
+      Add(r.six, [Concatenation(a[4], " ", a[2]), a[3], a[5]]);
     else
       Add(r.six, [a[4],  a[3], a[5]]);
     fi;