Docs: separate benchmark commit and date [skip benchmark]

diff --git a/docs/Benchmarks.mdr b/docs/Benchmarks.mdr
index be3d5fb6a871c6fc55723b99705d280099d449c8..c268c4b173f59190ddee02e82889f806950bcd65 100644 (file)
--- a/docs/Benchmarks.mdr
+++ b/docs/Benchmarks.mdr
@@ -1,7 +1,11 @@
 # Benchmarks
 
-> @hide date
-> @hide cd Gwion; git log -n1
+Created at:
+@hide date
+
+From commit:
+@hide git log -n1
+
 ## test
 <table><tr><td align="center" style="border:none">
 @hide bash scripts/list_benchmarks.sh