Improve benchmark info format

diff --git a/docs/Benchmarks.mdr b/docs/Benchmarks.mdr
index 2e6ad422ee39c2d056df7a083b50ed3985c67dc1..f1f7d7a6f3a95ed4617808317c88a61b71e5a5a4 100644 (file)
--- a/docs/Benchmarks.mdr
+++ b/docs/Benchmarks.mdr
@@ -1,8 +1,8 @@
 # Benchmarks
 
-@hide date
+> @hide date
 
-@hide cd Gwion; git log -n1
+> @hide cd Gwion; git log -n1
 
 ## test
 <table><tr><td align="center">