From d672c3818a6b9341e78d6933ade8e1820f46192b Mon Sep 17 00:00:00 2001 From: Robert Alessi Date: Wed, 7 Oct 2020 14:42:17 +0200 Subject: bad argument to format in rdgGrp_totei() --- ekdosis.dtx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) return rdgGrp_totei(string.format("<%s>%s", cmd, arg, cmd)) else - return rdgGrp_totei(string.format("<%s%s%s%s%s>%s", + return rdgGrp_totei(string.format("<%s%s>%s", cmd, teitype, arg, cmd)) end end) -- cgit v1.2.3