fix: add dune-coq to manual

Signed-off-by: Rudi Grinberg <me@rgrinberg.com> ps-id: 98649AD1-C2E6-4383-931E-970847D2CA98
ocaml · Apr 7, 2022 · cff55b1 · cff55b1
1 parent 3b2c64a
commit cff55b1
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/doc/dune.inc b/doc/dune.inc
@@ -26,6 +26,15 @@
  (package dune)
  (files   dune-clean.1))
 
+(rule
+ (with-stdout-to dune-coq.1
+  (run dune coq --help=groff)))
+
+(install
+ (section man)
+ (package dune)
+ (files   dune-coq.1))
+
 (rule
  (with-stdout-to dune-describe.1
   (run dune describe --help=groff)))