aboutsummaryrefslogtreecommitdiff
path: root/bin/dune
diff options
context:
space:
mode:
authorMarc Coquand <marc@mccd.space>2024-05-17 15:07:04 -0500
committerMarc Coquand <marc@mccd.space>2024-05-17 15:07:04 -0500
commit1b4ed54a85c31a032fbc841c62f674c3a8f2764b (patch)
tree9544f04a8516b215104c170c3129faa75b33cfe6 /bin/dune
parent0f36dee9ed3225662e551fce165e30867b246656 (diff)
downloadstitch-1b4ed54a85c31a032fbc841c62f674c3a8f2764b.tar.gz
stitch-1b4ed54a85c31a032fbc841c62f674c3a8f2764b.tar.bz2
stitch-1b4ed54a85c31a032fbc841c62f674c3a8f2764b.zip
Fix binary release
Diffstat (limited to 'bin/dune')
-rw-r--r--bin/dune5
1 files changed, 2 insertions, 3 deletions
diff --git a/bin/dune b/bin/dune
index 3031405..b255cb0 100644
--- a/bin/dune
+++ b/bin/dune
@@ -16,11 +16,10 @@
; Rule to generate a man page for stitch
(rule
- (target stitch.1)
- (action (with-outputs-to %{target} (run stitch --help=groff)))
+ (target stitch.1)
+ (action (with-stdout-to %{target} (run stitch --help=groff)))
)
-; Install the man page
(install
(section man)
(files stitch.1)