diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2020-10-13 11:00:24 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2020-10-13 11:00:24 +0200 |
| commit | cfc8f30606496bef1f0109d7f1243e53dc7337c0 (patch) | |
| tree | ab13ccbd59d98c7b15a4fc955416482e23c20feb | |
| parent | e9b84a1af0ba7aa8ab5f6fe9bf86bde1ca336f30 (diff) | |
| download | ekdosis-cfc8f30606496bef1f0109d7f1243e53dc7337c0.tar.gz | |
accept bcbraces as final argument in citecmds
| -rw-r--r-- | ekdosis.dtx | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx index 9772a39..1739bfc 100644 --- a/ekdosis.dtx +++ b/ekdosis.dtx | |||
| @@ -8429,7 +8429,7 @@ local function icitetotei(str) | |||
| 8429 | * bsqbrackets | 8429 | * bsqbrackets |
| 8430 | * bsqbrackets | 8430 | * bsqbrackets |
| 8431 | * bcbraces | 8431 | * bcbraces |
| 8432 | * bsqbrackets^-1, | 8432 | * (bsqbrackets + bcbraces)^-1, |
| 8433 | function(cmd, pre, post, body, opt) | 8433 | function(cmd, pre, post, body, opt) |
| 8434 | pre = string.sub(pre, 2, -2) | 8434 | pre = string.sub(pre, 2, -2) |
| 8435 | post = string.sub(post, 2, -2) | 8435 | post = string.sub(post, 2, -2) |
| @@ -8450,7 +8450,7 @@ local function icitetotei(str) | |||
| 8450 | * spcenc^-1 | 8450 | * spcenc^-1 |
| 8451 | * bsqbrackets | 8451 | * bsqbrackets |
| 8452 | * bcbraces | 8452 | * bcbraces |
| 8453 | * bsqbrackets^-1, | 8453 | * (bsqbrackets + bcbraces)^-1, |
| 8454 | function(cmd, post, body, opt) | 8454 | function(cmd, post, body, opt) |
| 8455 | post = string.sub(post, 2, -2) | 8455 | post = string.sub(post, 2, -2) |
| 8456 | body = string.sub(body, 2, -2) | 8456 | body = string.sub(body, 2, -2) |
| @@ -8469,7 +8469,7 @@ local function icitetotei(str) | |||
| 8469 | * citecmds | 8469 | * citecmds |
| 8470 | * spcenc^-1 | 8470 | * spcenc^-1 |
| 8471 | * bcbraces | 8471 | * bcbraces |
| 8472 | * bsqbrackets^-1, | 8472 | * (bsqbrackets + bcbraces)^-1, |
| 8473 | function(cmd, body, opt) | 8473 | function(cmd, body, opt) |
| 8474 | body = string.sub(body, 2, -2) | 8474 | body = string.sub(body, 2, -2) |
| 8475 | if not checkxmlid(body) | 8475 | if not checkxmlid(body) |