From 3347d4d59fd4e00f7a134056462713bd8886e18d Mon Sep 17 00:00:00 2001
From: Jeremie Dimino <jdimino@janestreet.com>
Date: Wed, 7 Feb 2018 12:06:27 +0000
Subject: [PATCH] Regenerate doc/jbuild

---
 doc/jbuild.inc | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/doc/jbuild.inc b/doc/jbuild.inc
index 23a4ec2f..443cb0c9 100644
--- a/doc/jbuild.inc
+++ b/doc/jbuild.inc
@@ -35,6 +35,15 @@
  ((section man)
   (files (jbuilder-external-lib-deps.1))))
 
+(rule
+ ((targets (jbuilder-help.1))
+  (action  (with-stdout-to ${@}
+            (run ${bin:jbuilder} help --help=groff)))))
+
+(install
+ ((section man)
+  (files (jbuilder-help.1))))
+
 (rule
  ((targets (jbuilder-install.1))
   (action  (with-stdout-to ${@}