:art: Use @hide mdr command where needed

diff --git a/docs/Benchmarks.mdr b/docs/Benchmarks.mdr
index b0e438d89cd415b7ce54a4124e17ef11b8040b5b..1c8cfd265e777f74dd15e898404e5720a949d854 100644 (file)
--- 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 a1a602a8d0ec56b8b2017db9282496d5364e4588..da32066b409db98a4222fc59431725e2ca20da9e 100644 (file)
--- 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