From 733ce1b119ed12fc2c755b3e2647c6bcbd4efff4 Mon Sep 17 00:00:00 2001
From: Nero <41307858+nero@users.noreply.github.com>
Date: Fri, 8 Apr 2022 19:48:16 +0000
Subject: [PATCH] md2html: skip indent before </pre>

---
 md2html | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/md2html b/md2html
index 9ea47df..85dafb7 100755
--- a/md2html
+++ b/md2html
@@ -32,7 +32,11 @@ function level(new) {
     if (b[i]) {
       if (b[i] == "head") headers()
       indent = indent - 2
-      printf("%0" indent "s</%s>\n", "", b[i])
+      if (b[i]=="pre") {
+        printf("</%s>\n", b[i])
+      } else {
+        printf("%0" indent "s</%s>\n", "", b[i])
+      }
     }
   }