aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2019-04-10 16:12:47 +0200
committerRobert Alessi <alessi@robertalessi.net>2019-04-10 16:12:47 +0200
commit57c929bb3bb62c9b8d83440f2cf349e7e058605e (patch)
tree055d2fda57b3e38df3584205b11d85adf4bb89d0
parented29931d2799544d87b6843d243f668e0a3085b1 (diff)
downloadekdosis-57c929bb3bb62c9b8d83440f2cf349e7e058605e.tar.gz
missing '=' sign
-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