aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2020-08-05 16:19:39 +0200
committerRobert Alessi <alessi@robertalessi.net>2020-08-05 16:19:39 +0200
commit99ea316454ac4c045bcdfa2f34faae4631fed2f8 (patch)
tree8abd0b24cbf5123cc92a0998610423aea579dac2
parent56f470fca333e41c62f976db64efab40f91c1954 (diff)
downloadekdosis-99ea316454ac4c045bcdfa2f34faae4631fed2f8.tar.gz
wrong variable i build_envdiv()
-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.}}")