github CI

.gitlab-ci.yml

@@ -26,6 +26,10 @@ buildlatex:
     - mv manual/manual.pdf build/nightly/manual.pdf
     - git add build/nightly/manual.pdf
 
+    #compile html
+    - cargo run itself html -o build/nightly/commands.html
+    - git add build/nightly/commands.html
+
     #compile linux 64 bit
     - cargo build --target x86_64-unknown-linux-gnu --release
     - mv target/x86_64-unknown-linux-gnu/release/ebi build/nightly/Ebi-x86_64-linux

src/ebi_commands/ebi_command_itself.rs

@@ -525,7 +525,7 @@ pub fn html() -> String {
     "Please refer to the <a href=\"https://git.rwth-aachen.de/rwth-bpm/rustlibrary/-/raw/main/build/nightly/manual.pdf?ref_type=heads&inline=true\">manual</a> for more information. " + 
     "<ul><li>" +
     &EBI_COMMANDS.get_command_paths().iter().filter_map(|path| if path[1].long_name() != EBI_ITSELF.long_name() {
-        Some(EbiCommand::path_to_string(&path[1..]).to_sentence_case() + ". " + path.last().unwrap().explanation_short())
+        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>"