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