matthieu
/
dune
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Regenerate doc/jbuild

This commit is contained in:
Jeremie Dimino 2018-02-07 12:06:27 +00:00 committed by Jérémie Dimino
parent 31855cdeda
commit 3347d4d59f
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
doc/jbuild.inc
View File

@ -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 ${@}