diff options
-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.}}") |