From dfcb361679b244d077bb955693c406c0301261a3 Mon Sep 17 00:00:00 2001
From: Bryan Brancotte <bryan.brancotte@pasteur.fr>
Date: Tue, 13 Feb 2024 15:08:37 +0100
Subject: [PATCH] mermaid graphs should ends with .mmd extension Following
https://mermaid.js.org/ecosystem/integrations-create.html
---
src/outils_graph.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/outils_graph.py b/src/outils_graph.py
index 776d5a9..7b4aae0 100644
--- a/src/outils_graph.py
+++ b/src/outils_graph.py
@@ -73,7 +73,7 @@ def generate_graph_mermaid(filename, dico, label_node = True, label_edge = True,
return txt
txt = get_graph_wo_operations_mermaid_temp(dico, txt, 0)
- with open(f"{filename}.md", "w") as text_file:
+ with open(f"{filename}.mmd", "w") as text_file:
text_file.write(txt)
--
GitLab