diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2019-04-10 16:12:47 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2019-04-10 16:12:47 +0200 |
| commit | 57c929bb3bb62c9b8d83440f2cf349e7e058605e (patch) | |
| tree | 055d2fda57b3e38df3584205b11d85adf4bb89d0 | |
| parent | ed29931d2799544d87b6843d243f668e0a3085b1 (diff) | |
| download | ekdosis-57c929bb3bb62c9b8d83440f2cf349e7e058605e.tar.gz | |
missing '=' sign
| -rw-r--r-- | ekdosis.dtx | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx index 2a7c73b..deb5a4b 100644 --- a/ekdosis.dtx +++ b/ekdosis.dtx | |||
| @@ -792,8 +792,8 @@ end | |||
| 792 | 792 | ||
| 793 | function ekdosis.textotei(str) | 793 | function ekdosis.textotei(str) |
| 794 | str = string.gsub(str, "%s?\\par%s?", "</p>\n<p>") | 794 | str = string.gsub(str, "%s?\\par%s?", "</p>\n<p>") |
| 795 | str string.gsub(str, "%<", "<") | 795 | str = string.gsub(str, "%<", "<") |
| 796 | str string.gsub(str, "%>", ">") | 796 | str = string.gsub(str, "%>", ">") |
| 797 | str = lem_rdg_totei(str) | 797 | str = lem_rdg_totei(str) |
| 798 | for i = 1,#cmdtotags | 798 | for i = 1,#cmdtotags |
| 799 | do | 799 | do |