diff options
Diffstat (limited to 'bin')
-rw-r--r-- | bin/dune | 16 |
1 files changed, 16 insertions, 0 deletions
@@ -1,5 +1,7 @@ (executable (public_name stitch) + (package stitch) + (flags (:standard -cclib -static -cclib -no-pie)) (name main) (libraries stitch @@ -10,3 +12,17 @@ notty.unix shexp.process lambda-term)) + + +; Rule to generate a man page for stitch +(rule + (target stitch.1) + (action (with-outputs-to %{target} (run stitch --help=groff))) +) + +; Install the man page +(install + (section man) + (files stitch.1) + (package stitch) +) |