aboutsummaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authorMarc Coquand <marc@mccd.space>2024-05-17 12:03:09 -0500
committerMarc Coquand <marc@mccd.space>2024-05-17 12:03:09 -0500
commit8dbf8014991bd7456dfa09b85f07c04086d70459 (patch)
tree6c9470e99e1713757d1487d18a16d04d4b981885 /bin
parentefe45feea10551feda95d647dccecd973cfe5320 (diff)
downloadstitch-8dbf8014991bd7456dfa09b85f07c04086d70459.tar.gz
stitch-8dbf8014991bd7456dfa09b85f07c04086d70459.tar.bz2
stitch-8dbf8014991bd7456dfa09b85f07c04086d70459.zip
stuff
Diffstat (limited to 'bin')
-rw-r--r--bin/dune16
1 files changed, 16 insertions, 0 deletions
diff --git a/bin/dune b/bin/dune
index 962b989..3031405 100644
--- a/bin/dune
+++ b/bin/dune
@@ -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)
+)