diff options
author | Marc Coquand <marc@mccd.space> | 2024-05-17 14:25:39 -0500 |
---|---|---|
committer | Marc Coquand <marc@mccd.space> | 2024-05-17 14:25:39 -0500 |
commit | 12c6b55e7c1d53122ca73f2a8d0067d10060f0be (patch) | |
tree | 6c9470e99e1713757d1487d18a16d04d4b981885 | |
parent | 9fc8906793bc9c7926ba9d928c039d4cc94aa03a (diff) | |
download | stitch-12c6b55e7c1d53122ca73f2a8d0067d10060f0be.tar.gz stitch-12c6b55e7c1d53122ca73f2a8d0067d10060f0be.tar.bz2 stitch-12c6b55e7c1d53122ca73f2a8d0067d10060f0be.zip |
Revert "temp remove"
This reverts commit 9fc8906793bc9c7926ba9d928c039d4cc94aa03a.
-rw-r--r-- | bin/dune | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -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) +) |