Check-in by ben on 2022-12-24 21:23:57

Specify UTF-8 character encoding when generating HTML.

 INSERTED    DELETED
        1          0 mmhtml.awk
        1          0 TOTAL over 1 changed file

Index: mmhtml.awk
==================================================================
--- mmhtml.awk
+++ mmhtml.awk
@@ -12,10 +12,11 @@
}

function html() {
    printf "<html>\n"
    printf "<head>\n"
+    printf "<meta charset=\"UTF-8\">\n"
    printf "<title>%s</title>\n", html_encode(title)
    printf "</head>\n"
    printf "<body>\n"
    printf "<h2>%s</h2>\n", title
    if (length(categories) > 0) {