put Last modified inside html footer tag

anoma · Jul 29, 2024 · 3b82508 · 3b82508
1 parent bb3a46c
commit 3b82508
Showing 1 changed file with 9 additions and 7 deletions.
diff --git a/src/Juvix/Compiler/Backend/Html/Translation/FromTyped/Source.hs b/src/Juvix/Compiler/Backend/Html/Translation/FromTyped/Source.hs
@@ -187,13 +187,15 @@ genModuleHtml o = do
 
     formattedTime :: Sem r Html
     formattedTime =
-      return $
-        Html.span . toHtml $
-          "Last modified on "
-            <> formatTime
-              defaultTimeLocale
-              "%Y-%m-%d %-H:%M %Z"
-              (o ^. genModuleHtmlArgsUTC)
+      return
+        . Html.footer
+        . Html.span
+        . toHtml
+        $ "Last modified on "
+          <> formatTime
+            defaultTimeLocale
+            "%Y-%m-%d %-H:%M %Z"
+            (o ^. genModuleHtmlArgsUTC)
 
     justCode :: Sem r Html
     justCode =