diff options
author | Robert Alessi <alessi@robertalessi.net> | 2020-08-05 16:19:39 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2020-08-05 16:19:39 +0200 |
commit | 99ea316454ac4c045bcdfa2f34faae4631fed2f8 (patch) | |
tree | 8abd0b24cbf5123cc92a0998610423aea579dac2 | |
parent | 56f470fca333e41c62f976db64efab40f91c1954 (diff) | |
download | ekdosis-99ea316454ac4c045bcdfa2f34faae4631fed2f8.tar.gz |
wrong variable i build_envdiv()
-rw-r--r-- | ekdosis.dtx | 4 |
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.}}") |