diff options
author | Marius Peter <marius.peter@tutanota.com> | 2025-01-25 19:23:22 +0100 |
---|---|---|
committer | Marius Peter <marius.peter@tutanota.com> | 2025-01-25 19:23:22 +0100 |
commit | f94e6b9216c41a7bfd78a73c67b2f805ff75242d (patch) | |
tree | 4c5ef4a1ae349e59457bfae9569825675edf375e /lib/helpers/html_helpers.ml | |
parent | 2ad89e7db3bb6d29c26037b658c1873027fb175a (diff) |
Update helper modules.
Diffstat (limited to 'lib/helpers/html_helpers.ml')
-rw-r--r-- | lib/helpers/html_helpers.ml | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/lib/helpers/html_helpers.ml b/lib/helpers/html_helpers.ml deleted file mode 100644 index da5addc..0000000 --- a/lib/helpers/html_helpers.ml +++ /dev/null @@ -1,18 +0,0 @@ -(* Helper function to generate links for repositories *) -let generate_repo_links () = - let git_dir = Filename.concat (Unix.getenv "HOME") "git" in - if Sys.file_exists git_dir && Sys.is_directory git_dir then - Sys.readdir git_dir - |> Array.to_list - |> List.map (fun repo -> Printf.sprintf "<li><a href='/%s/tree'>%s</a></li>" repo repo) - |> String.concat "" - else - "<li>Error: '~/git' directory not found.</li>" - -(* Page layout function *) -let page_layout ~content = - "<html><body>" - ^ Layouts.Header.header () - ^ Layouts.Topnav.topnav () - ^ "<main>" ^ content ^ "</main>" - ^ "</body></html>" |