diff options
author | Marc Coquand <marc@mccd.space> | 2024-05-17 12:03:09 -0500 |
---|---|---|
committer | Marc Coquand <marc@mccd.space> | 2024-05-17 12:03:09 -0500 |
commit | 8dbf8014991bd7456dfa09b85f07c04086d70459 (patch) | |
tree | 6c9470e99e1713757d1487d18a16d04d4b981885 /bin | |
parent | efe45feea10551feda95d647dccecd973cfe5320 (diff) | |
download | stitch-8dbf8014991bd7456dfa09b85f07c04086d70459.tar.gz stitch-8dbf8014991bd7456dfa09b85f07c04086d70459.tar.bz2 stitch-8dbf8014991bd7456dfa09b85f07c04086d70459.zip |
stuff
Diffstat (limited to '')
-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) +) |