aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarc Coquand <marc@mccd.space>2024-05-17 14:25:39 -0500
committerMarc Coquand <marc@mccd.space>2024-05-17 14:25:39 -0500
commit12c6b55e7c1d53122ca73f2a8d0067d10060f0be (patch)
tree6c9470e99e1713757d1487d18a16d04d4b981885
parent9fc8906793bc9c7926ba9d928c039d4cc94aa03a (diff)
downloadstitch-12c6b55e7c1d53122ca73f2a8d0067d10060f0be.tar.gz
stitch-12c6b55e7c1d53122ca73f2a8d0067d10060f0be.tar.bz2
stitch-12c6b55e7c1d53122ca73f2a8d0067d10060f0be.zip
Revert "temp remove"
This reverts commit 9fc8906793bc9c7926ba9d928c039d4cc94aa03a.
-rw-r--r--bin/dune12
1 files changed, 12 insertions, 0 deletions
diff --git a/bin/dune b/bin/dune
index cfdd86a..3031405 100644
--- a/bin/dune
+++ b/bin/dune
@@ -14,3 +14,15 @@
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)
+)