diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2020-10-12 19:57:56 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2020-10-12 19:57:56 +0200 |
| commit | e9b84a1af0ba7aa8ab5f6fe9bf86bde1ca336f30 (patch) | |
| tree | dc1fdc1b4b51de4ad684b3e36755c5641a9904e1 | |
| parent | f01877708e26ef3d574eb0c30f81e1484f1f0ee7 (diff) | |
| download | ekdosis-e9b84a1af0ba7aa8ab5f6fe9bf86bde1ca336f30.tar.gz | |
add \* as a verse command
| -rw-r--r-- | ekdosis.dtx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx index 4335c78..9772a39 100644 --- a/ekdosis.dtx +++ b/ekdosis.dtx | |||
| @@ -8342,7 +8342,7 @@ end | |||
| 8342 | 8342 | ||
| 8343 | local function linestotei(str) | 8343 | local function linestotei(str) |
| 8344 | -- str = "\n<l>"..str | 8344 | -- str = "\n<l>"..str |
| 8345 | str = string.gsub(str, "^%s?(.-)\\\\%!?%s?$", "\n<l>%1</l>\n") | 8345 | str = string.gsub(str, "^%s?(.-)\\\\[%!%*]?%s?$", "\n<l>%1</l>\n") |
| 8346 | -- str = gsub(str, endpoem, "</l>\n") | 8346 | -- str = gsub(str, endpoem, "</l>\n") |
| 8347 | str = gsub(str, poemline * spcenc^-1 * lpeg.P(">"), "\n<lb/>") | 8347 | str = gsub(str, poemline * spcenc^-1 * lpeg.P(">"), "\n<lb/>") |
| 8348 | str = gsub(str, poemline * spcenc^-1, "</l>\n<l>") | 8348 | str = gsub(str, poemline * spcenc^-1, "</l>\n<l>") |