From 3fd17bd261c74b19187ddc0eb110f6394f27cff7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20B=C3=B6ving?= <hargonix@gmail.com>
Date: Thu, 19 May 2022 21:49:50 +0200
Subject: [PATCH] doc: Output.NotFound

---
 DocGen4/Output/NotFound.lean | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/DocGen4/Output/NotFound.lean b/DocGen4/Output/NotFound.lean
index c5161c4..450e236 100644
--- a/DocGen4/Output/NotFound.lean
+++ b/DocGen4/Output/NotFound.lean
@@ -11,6 +11,9 @@ namespace Output
 
 open scoped DocGen4.Jsx
 
+/--
+Render the 404 page.
+-/
 def notFound : HtmlM Html := do templateExtends (baseHtml "404") $ pure $
   <main>
     <h1>404 Not Found</h1>