From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Fri, 24 Jul 2020 12:47:02 +0000 (+0200)
Subject: :art: Use @hide mdr command where needed
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=00e21ab0679d99b98ad2e7d5d5ed0246c6765eae;p=gwion.git

:art: Use @hide mdr command where needed
---

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