From c6ce94166c28f200c6d51968b6232039b2d9bc31 Mon Sep 17 00:00:00 2001
From: Jules Aguillon <jules@j3s.fr>
Date: Tue, 29 Nov 2022 16:30:02 +0100
Subject: [PATCH] Disable manpage generation on @runtest

It randomly break on different targets. It should be replaced by
something that do not depend on parsing textual output before it can be
enabled again by default.
---
 doc/dune | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/doc/dune b/doc/dune
index 4c2b56c087..c9fce548cb 100644
--- a/doc/dune
+++ b/doc/dune
@@ -6,8 +6,12 @@
    manpage.gen.mld
    (run gen_manpage/gen_manpage.exe))))
 
+; Ideally, this would be run with the other tests. Currently depend on the
+; exact output of 'odoc --help', which is not stable and would break the test
+; too often.
+
 (rule
- (alias runtest)
+ (alias docmanpage)
  (enabled_if
   (> %{ocaml_version} 4.10))
  (action