From f8d03bb6877de6fdaecdf96eeef5a30d600c567e Mon Sep 17 00:00:00 2001
From: Github auto committer <cipipeline@example.com>
Date: Fri, 6 Jun 2025 12:15:37 +0000
Subject: [PATCH] github CI

---
 src/ebi_commands/ebi_command_itself.rs | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/ebi_commands/ebi_command_itself.rs b/src/ebi_commands/ebi_command_itself.rs
index acf0958..c4870e3 100644
--- a/src/ebi_commands/ebi_command_itself.rs
+++ b/src/ebi_commands/ebi_command_itself.rs
@@ -528,5 +528,12 @@ pub fn html() -> String {
         Some("<i>".to_owned() + &EbiCommand::path_to_string(&path[1..]).to_sentence_case() + "</i>. " + path.last().unwrap().explanation_short())
     } else {None}).join("</li><li>") +
     
+    "</li></ul>" + 
+    
+    
+    //file formats
+    "<h3>Supported file formats</h3>" + 
+    "<ul><li>" +
+    &EBI_FILE_HANDLERS.iter().map(|file_handler| format!("{} (.{})", file_handler.name.to_sentence_case(), file_handler.file_extension)).join("</li><li>") +
     "</li></ul>"
 }
\ No newline at end of file
-- 
GitLab