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 | ||