chore: Commit generated dune file (#11008)

Signed-off-by: Marek Kubica <marek@tarides.com>
ocaml · Oct 10, 2024 · 0aa8e38 · 0aa8e38
1 parent 4cb8c41
commit 0aa8e38
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/doc/dune.inc b/doc/dune.inc
@@ -269,6 +269,15 @@
  (package dune)
  (files   dune-subst.1))
 
+(rule
+ (with-stdout-to dune-tools.1
+  (run dune tools --help=groff)))
+
+(install
+ (section man)
+ (package dune)
+ (files   dune-tools.1))
+
 (rule
  (with-stdout-to dune-top.1
   (run dune top --help=groff)))