diff --git a/src/enterprise/enterprise_html.h b/src/enterprise/enterprise_html.h index 2149b5d..c7158d9 100644 --- a/src/enterprise/enterprise_html.h +++ b/src/enterprise/enterprise_html.h @@ -148,7 +148,7 @@ auto html_file_manager(T &html, const sourcemeta::jsontoolkit::JSON &meta) html << "
"; if (meta.defines("github")) { - html << ""; + html << ""; html << ""; html << ""; + html << ""; html << ""; html << ""; + html << ""; html << ""; html << "