From: Paul Hänsch <paul@plutz.net>
Date: Wed, 13 Aug 2025 05:18:11 +0000 (+0200)
Subject: bidirectional arrows
X-Git-Url: https://git.plutz.net/?a=commitdiff_plain;h=b7f8f3d15c709eae4dc6457d2e550a918573ff10;p=cgilite

bidirectional arrows
---

diff --git a/markdown.awk b/markdown.awk
index 60599af..0ad72f4 100755
--- a/markdown.awk
+++ b/markdown.awk
@@ -360,6 +360,9 @@ function inline( line, LOCAL, len, text, code, href, guard, ret ) {
     } else if ( line ~ /^-->( |$)/) {  # ignore multidash-arrow
       ret = ret "--&gt;"; line = substr(line, 4);
       continue;
+    } else if ( line ~ /^<->( |$)/) {
+      ret = ret "&harr;"; line = substr(line, 3);
+      continue;
     } else if ( line ~ /^<-( |$)/) {
       ret = ret "&larr;"; line = substr(line, 3);
       continue;