1 files changed, 3 insertions, 3 deletions
diff --git a/ht.awk b/ht.awk
index a2189ec..e33fd73 100755
--- a/ht.awk
+++ b/ht.awk

@@ -259,8 +259,8 @@ function html_end()
 function html_escape(text)
 {
        # Sanitize HTML
-        gsub(/&/, "\\\\\\&amp;", text)
+        gsub(/&/, "\\&amp;", text)
-        gsub(/</, "\\\\\\&lt;", text)
+        gsub(/</, "\\&lt;", text)
-        gsub(/>/, "\\\\\\&gt;", text)
+        gsub(/>/, "\\&gt;", text)
        return text
 }

diff --git a/ht.awk b/ht.awk index a2189ec..e33fd73 100755 --- a/ht.awk +++ b/ht.awk
@@ -259,8 +259,8 @@ function html_end()
259	function html_escape(text)	259	function html_escape(text)
260	{	260	{
261	# Sanitize HTML	261	# Sanitize HTML
262	gsub(/&/, "\\\\\\&", text)	262	gsub(/&/, "\\&", text)
263	gsub(/</, "\\\\\\<", text)	263	gsub(/</, "\\<", text)
264	gsub(/>/, "\\\\\\>", text)	264	gsub(/>/, "\\>", text)
265	return text	265	return text
266	}	266	}