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