diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2019-04-10 16:04:10 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2019-04-10 16:04:10 +0200 |
| commit | ed29931d2799544d87b6843d243f668e0a3085b1 (patch) | |
| tree | c6ede2d4b28c632adc17767947f3fd3463e9fbc3 | |
| parent | 3fad62e74b9ce5a420189ec854421f3154473dc1 (diff) | |
| download | ekdosis-ed29931d2799544d87b6843d243f668e0a3085b1.tar.gz | |
textotei: replace angle brackets with xml entities
| -rw-r--r-- | ekdosis.dtx | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx index 8868cef..2a7c73b 100644 --- a/ekdosis.dtx +++ b/ekdosis.dtx | |||
| @@ -792,6 +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, "%<", "<") | ||
| 796 | str string.gsub(str, "%>", ">") | ||
| 795 | str = lem_rdg_totei(str) | 797 | str = lem_rdg_totei(str) |
| 796 | for i = 1,#cmdtotags | 798 | for i = 1,#cmdtotags |
| 797 | do | 799 | do |