diff --git a/DocGen4/Output/Template.lean b/DocGen4/Output/Template.lean index ae7878b..432d070 100644 --- a/DocGen4/Output/Template.lean +++ b/DocGen4/Output/Template.lean @@ -48,8 +48,8 @@ def baseHtmlGenerator (title : String) (site : Array Html) : BaseHtmlM Html := d
{title}
-- TODO: Replace this form with our own search @@ -57,7 +57,7 @@ def baseHtmlGenerator (title : String) (site : Array Html) : BaseHtmlM Html := d [site]