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