generate anchors to be referred to by notes

1 files changed, 18 insertions, 8 deletions

diff --git a/ekdosis.dtx b/ekdosis.dtx
index fd1768e..0b941db 100644
--- a/ekdosis.dtx
+++ b/ekdosis.dtx
@@ -1267,19 +1267,22 @@ local function note_totei(str)
                  
                  if left ~= "" and teitype ~= ""
                  then
-                    return string.format("<%s type=\"%s\" target=\"#range(right(%s),left(%s))\">%s</%s>",
-                                         cmd, teitype, right, left, arg, cmd)
+                    return string.format(
+                       "<%s type=\"%s\" target=\"#range(right(%s),left(%s))\">%s</%s><anchor xml:id=\"%s\"/>",
+                                         cmd, teitype, right, left, arg, cmd, right)
                  elseif left ~= "" and teitype == ""
                  then
-                    return string.format("<%s target=\"#range(right(%s),left(%s))\">%s</%s>",
-                                         cmd, right, left, arg, cmd)
+                    return string.format(
+                       "<%s target=\"#range(right(%s),left(%s))\">%s</%s><anchor xml:id=\"%s\"/>",
+                                         cmd, right, left, arg, cmd, right)
                  elseif left == "" and teitype ~= ""
                  then
-                    return string.format("<%s type=\"%s\" target=\"#right(%s)\">%s</%s>",
-                                         cmd, teitype, right, arg, cmd)             
+                    return string.format(
+                       "<%s type=\"%s\" target=\"#right(%s)\">%s</%s><anchor xml:id=\"%s\"/>",
+                                         cmd, teitype, right, arg, cmd, right)              
                  else
-                    return string.format("<%s target=\"#right(%s)\">%s</%s>",
-                                         cmd, right, arg, cmd)
+                    return string.format("<%s target=\"#right(%s)\">%s</%s><anchor xml:id=\"%s\"/>",
+                                         cmd, right, arg, cmd, right)
                  end
    end)
    return str
@@ -1419,6 +1422,13 @@ local function cmdtotei(str)
                                                    cmdtotags[i].b..">", body)
       end)
    end
+   -- temporarily:
+   str = string.gsub(str, "\\(linelabel)%s?(%b{})",
+                     function(cmd, body)
+                        body = string.sub(body, 2, -2)
+                        body = cmdtotei(body)
+                        return string.format("<anchor xml:id=\"%s\"/>", body)
+   end)
    str = string.gsub(str, "\\(%a+)%s?%*?(%b[])(%b{})",
                      function(cmd, opt, body)
                         body = string.sub(body, 2, -2)