From bd270fc564829316de899b3e823ab9e99f43b9d6 Mon Sep 17 00:00:00 2001
From: panglesd <peada@free.fr>
Date: Fri, 29 Sep 2023 14:28:24 +0200
Subject: [PATCH] Improve comment on benchmark dependency

Co-authored-by: Jules Aguillon <jules@j3s.fr>
---
 doc/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/dune b/doc/dune
index ba464383de..b24481dfa1 100644
--- a/doc/dune
+++ b/doc/dune
@@ -31,7 +31,7 @@
   (> %{ocaml_version} 4.11))
  (deps
   (package odoc)
-  (universe) ; Benchmark depends on the running programs in the background
+  (universe) ; Benchmark depends on the running time of odoc commands
   (glob_files *.mld)
   (glob_files library_mlds/*)
   (glob_files examples/*.ml*))