diff options
Diffstat (limited to 'ekdosis.dtx')
-rw-r--r-- | ekdosis.dtx | 2 |
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) |