aboutsummaryrefslogtreecommitdiff
path: root/ekdosis.dtx
diff options
context:
space:
mode:
Diffstat (limited to 'ekdosis.dtx')
-rw-r--r--ekdosis.dtx2
1 files changed, 1 insertions, 1 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx
index bdc87a5..d08b4a3 100644
--- a/ekdosis.dtx
+++ b/ekdosis.dtx
@@ -8073,7 +8073,7 @@ local function rdgGrp_totei(str)
8073 return rdgGrp_totei(string.format("<%s>%s</%s>", 8073 return rdgGrp_totei(string.format("<%s>%s</%s>",
8074 cmd, arg, cmd)) 8074 cmd, arg, cmd))
8075 else 8075 else
8076 return rdgGrp_totei(string.format("<%s%s%s%s%s>%s</%s>", 8076 return rdgGrp_totei(string.format("<%s%s>%s</%s>",
8077 cmd, teitype, arg, cmd)) 8077 cmd, teitype, arg, cmd))
8078 end 8078 end
8079 end) 8079 end)