md2html: skip indent before </pre>

2022-04-08 19:48:16 +00:00 · 2022-04-08 19:48:16 +00:00 · 733ce1b119
commit 733ce1b119
parent 5196199acb
1 changed files with 5 additions and 1 deletions
--- a/4
+++ b/4
@ -32,9 +32,13 @@ function level(new) {
    if (b[i]) {
      if (b[i] == "head") headers()
      indent = indent - 2
+      if (b[i]=="pre") {
+        printf("</%s>\n", b[i])
+      } else {
        printf("%0" indent "s</%s>\n", "", b[i])
      }
    }
+  }

  for (i = common; i < length(a); i++) {
    if (a[i]) {