From 211442fb57636d13917dbe990f1cbba0725166c6 Mon Sep 17 00:00:00 2001
From: Jules Aguillon <jules@j3s.fr>
Date: Tue, 31 Oct 2023 12:37:27 +0100
Subject: [PATCH] driver.mld: Fix Mdx error hidden by Dune error

As the driver reports errors with promotion and not with an exit status,
the driver could fail to generate `driver-benchmarks.json`, in which
case Dune would complain about the missing target and would not show the
diff containing the error.
---
 doc/dune | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/doc/dune b/doc/dune
index f31a6498d6..66daae4b0d 100644
--- a/doc/dune
+++ b/doc/dune
@@ -36,7 +36,9 @@
   (glob_files library_mlds/*)
   (glob_files examples/*.ml*))
  (action
-  (run ocaml-mdx-test --force-output %{dep:driver.mld})))
+  (progn
+   (write-file driver-benchmarks.json "")
+   (run ocaml-mdx-test --force-output %{dep:driver.mld}))))
 
 (rule
  (alias docgen)