]> git.plutz.net Git - shellwiki/commitdiff
Merge commit '43ef03d4091027465dca65bca2ec6e4c52fbdff8'
authorPaul Hänsch <paul@plutz.net>
Mon, 12 Jun 2023 15:41:51 +0000 (17:41 +0200)
committerPaul Hänsch <paul@plutz.net>
Mon, 12 Jun 2023 15:41:51 +0000 (17:41 +0200)
1  2 
cgilite/markdown.awk

diff --combined cgilite/markdown.awk
index 7d7e0a5f56d5e70b7e0be4d1d104164a5718b13b,af3d7224657418caa809b5fa6223ce3cc1411224..af3d7224657418caa809b5fa6223ce3cc1411224
@@@ -115,8 -115,8 +115,8 @@@ function inline( line, LOCAL, len, code
      return "";
  
    # omit processing of escaped characters
-   } else if ( line ~ /^\\[]\\`\*_\{\}\(\)#\+-\.![]/) {
-     return substr(line, 2, 1) inline( substr(line, 3) );
+   } else if ( line ~ /^\\./) {
+     return HTML(substr(line, 2, 1)) inline( substr(line, 3) );
  
    # hard brakes
    } else if ( match(line, /^  \n/) ) {