From 12c6b55e7c1d53122ca73f2a8d0067d10060f0be Mon Sep 17 00:00:00 2001
From: Marc Coquand <marc@mccd.space>
Date: Fri, 17 May 2024 14:25:39 -0500
Subject: Revert "temp remove"

This reverts commit 9fc8906793bc9c7926ba9d928c039d4cc94aa03a.
---
 bin/dune | 12 ++++++++++++
 1 file changed, 12 insertions(+)

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)
+)
-- 
cgit v1.2.3