From cff55b104a0bb7ebf688570ebdeb3833371f1462 Mon Sep 17 00:00:00 2001
From: Rudi Grinberg <me@rgrinberg.com>
Date: Wed, 6 Apr 2022 17:41:41 -0500
Subject: [PATCH] fix: add dune-coq to manual

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>

ps-id: 98649AD1-C2E6-4383-931E-970847D2CA98
---
 doc/dune.inc | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/doc/dune.inc b/doc/dune.inc
index dfcd43e1f4b..5013d1ee732 100644
--- 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)))