From 1b4ed54a85c31a032fbc841c62f674c3a8f2764b Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Fri, 17 May 2024 15:07:04 -0500 Subject: Fix binary release --- bin/dune | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'bin/dune') 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) -- cgit v1.2.3