Generate man page for 'jbuilder utop'

2017-09-29 11:28:01 +01:00 · 2017-09-29 11:28:01 +01:00 · 8383a00e4c
parent cc0bf2dfb7
commit 8383a00e4c
1 changed files with 9 additions and 0 deletions
--- a/doc/jbuild
+++ b/doc/jbuild
@ -101,3 +101,12 @@
 (install
 ((section man)
  (files (jbuilder-uninstall.1))))
+
+(rule
+  ((targets (jbuilder-utop.1))
+   (action  (with-stdout-to ${@}
+             (run ${bin:jbuilder} utop --help=groff)))))
+
+(install
+ ((section man)
+  (files (jbuilder-utop.1))))