From 2763e98e1b05167fe027cd798b4b62c6908ed801 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 | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/doc/dune b/doc/dune
index 4c2b56c087..df5c0fd06f 100644
--- a/doc/dune
+++ b/doc/dune
@@ -6,8 +6,11 @@
    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