aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ekdosis.dtx4
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
793function ekdosis.textotei(str) 793function 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, "%<", "&lt;") 795 str = string.gsub(str, "%<", "&lt;")
796 str string.gsub(str, "%>", "&gt;") 796 str = string.gsub(str, "%>", "&gt;")
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