aboutsummaryrefslogtreecommitdiff
path: root/ekdosis.dtx
diff options
context:
space:
mode:
Diffstat (limited to 'ekdosis.dtx')
-rw-r--r--ekdosis.dtx4
1 files changed, 2 insertions, 2 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx
index c7c2a67..3f50def 100644
--- a/ekdosis.dtx
+++ b/ekdosis.dtx
@@ -6683,10 +6683,10 @@ local function build_envdiv(str)
6683 .. 6683 ..
6684 "ekdosis has generated some random id.}}") 6684 "ekdosis has generated some random id.}}")
6685 return "div-"..math.random(1000,9999) 6685 return "div-"..math.random(1000,9999)
6686 elseif not checkxmlid(id) 6686 elseif not checkxmlid(div)
6687 then 6687 then
6688 tex.print("\\unexpanded{\\PackageWarning{ekdosis}{\"" 6688 tex.print("\\unexpanded{\\PackageWarning{ekdosis}{\""
6689 ..id.. 6689 ..div..
6690 "\" is not a valid xml:id. " 6690 "\" is not a valid xml:id. "
6691 .. 6691 ..
6692 "Please pick another id.}}") 6692 "Please pick another id.}}")