diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2019-04-06 17:37:07 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2019-04-06 17:37:07 +0200 |
| commit | bf749d85c729d19a8e36b585baa0f9d327f0a0da (patch) | |
| tree | 482b2803cd0c67894577dbf1d829f2cb5f5a9ccb | |
| parent | 3e5f545991bfde434ff2f07982657a1b46c8704e (diff) | |
| download | ekdosis-bf749d85c729d19a8e36b585baa0f9d327f0a0da.tar.gz | |
ekdosis.removesp() needed Lpeg
| -rw-r--r-- | ekdosis.dtx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx index 535ef81..9bda050 100644 --- a/ekdosis.dtx +++ b/ekdosis.dtx | |||
| @@ -937,7 +937,7 @@ end | |||
| 937 | -- end basic TeX Conspectus siglorum | 937 | -- end basic TeX Conspectus siglorum |
| 938 | 938 | ||
| 939 | function ekdosis.removesp(str) | 939 | function ekdosis.removesp(str) |
| 940 | str = string.gsub(str, "(%b{})(%s+)", "%1") | 940 | str = gsub(str, cmd * cmdargs * spcenc^-1, "%1%2") |
| 941 | return str | 941 | return str |
| 942 | end | 942 | end |
| 943 | 943 | ||