feat: might be actually feature-complete by now

awk/definition_lists.awk

@@ -0,0 +1,62 @@
+BEGIN {
+    in_dl = 0
+    has_prev = 0
+    prev_line = ""
+    in_pre = 0
+}
+{
+    if ($0 ~ /^<pre>/) {
+        if (!in_pre) in_pre = 1
+    }
+    
+    if (!in_pre && $0 ~ /^:[ \t]+[^ \t]/) {
+        if (!in_dl) {
+            in_dl = 1
+            print "<dl>"
+            print "<dt>" prev_line "</dt>"
+            has_prev = 0
+        } else {
+            if (has_prev && prev_line != "") {
+                print "<dt>" prev_line "</dt>"
+                has_prev = 0
+            }
+        }
+        def_text = $0
+        sub(/^:[ \t]+/, "", def_text)
+        print "<dd>" def_text "</dd>"
+        
+        if ($0 ~ /<\/pre>/) {
+            if (in_pre) in_pre = 0
+        }
+        next
+    } else {
+        if (in_dl) {
+            if ($0 == "") {
+                # End of definition list
+                print "</dl>"
+                in_dl = 0
+                print ""
+                has_prev = 0
+                next
+            }
+        }
+        if (has_prev) {
+            print prev_line
+        }
+        prev_line = $0
+        has_prev = 1
+    }
+    
+    if ($0 ~ /<\/pre>/) {
+        if (in_pre) in_pre = 0
+    }
+}
+END {
+    if (in_dl) {
+        print "</dl>"
+    } else {
+        if (has_prev) {
+            print prev_line
+        }
+    }
+}