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 "\n" printf "
\n" + printf "\n" printf "