diff --git a/DocGen4/Output/Template.lean b/DocGen4/Output/Template.lean index 8ed58ee..232df38 100644 --- a/DocGen4/Output/Template.lean +++ b/DocGen4/Output/Template.lean @@ -18,6 +18,7 @@ def baseHtmlArray (title : String) (site : Array Html) : HtmlM Html := do +