From 00e21ab0679d99b98ad2e7d5d5ed0246c6765eae Mon Sep 17 00:00:00 2001
From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= <astor.jeremie@wanadoo.fr>
Date: Fri, 24 Jul 2020 14:47:02 +0200
Subject: [PATCH] :art: Use @hide mdr command where needed

---
 docs/Benchmarks.mdr   | 2 +-
 docs/Contributors.mdr | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/docs/Benchmarks.mdr b/docs/Benchmarks.mdr
index b0e438d8..1c8cfd26 100644
--- a/docs/Benchmarks.mdr
+++ b/docs/Benchmarks.mdr
@@ -2,5 +2,5 @@
 
 ## test
 <table><tr><td align="center">
-@exec for a in $(find benchmark/results -type f -name "*.png"); do echo "<a href=:gwion:><img class=\"zoom\" src=\"./$(echo "$a" | sed 's/benchmark\/results/assets/')\" width=\"352px\"></a>"; done
+@hide for a in $(find benchmark/results -type f -name "*.png"); do echo "<a href=:gwion:><img class=\"zoom\" src=\"./$(echo "$a" | sed 's/benchmark\/results/assets/')\" width=\"352px\"></a>"; done
 </td></tr></table>
diff --git a/docs/Contributors.mdr b/docs/Contributors.mdr
index a1a602a8..da32066b 100644
--- a/docs/Contributors.mdr
+++ b/docs/Contributors.mdr
@@ -1,6 +1,6 @@
 # Contributors
 
-@exec cp Gwion/README.md master_readme.md
+@hide cp Gwion/README.md master_readme.md
 
-@exec sed "$(cat -n master_readme.md | grep "ALL-CONTRIBUTOR" | cut -f1 | tr '\n' '\t' | sed 's/\t/,/')!d" master_readme.md
-@exec rm master_readme.md
+@hide sed "$(cat -n master_readme.md | grep "ALL-CONTRIBUTOR" | cut -f1 | tr '\n' '\t' | sed 's/\t/,/')!d" master_readme.md
+@hide rm master_readme.md
-- 
2.43.0