Artifact ec7ebc00988f7fdc6a0aee05a58aedb7b98372a2:
--- toc.html 2016-02-04 06:14:14.000000000 +0100 +++ toc.html 2017-08-11 13:28:00.975176400 +0200 @@ -32,6 +32,7 @@ proc fmt_toc_begin {label title} { set hdr "" if {![Get raw]} { + append hdr "[markup {<!DOCTYPE html>}]" append hdr "[markup <html><head>]\n" append hdr "[markup <title>] $label [markup </title>]\n"