From 9fc8906793bc9c7926ba9d928c039d4cc94aa03a Mon Sep 17 00:00:00 2001
From: Marc Coquand <marc@mccd.space>
Date: Fri, 17 May 2024 12:04:27 -0500
Subject: temp remove

---
 bin/dune | 12 ------------
 1 file changed, 12 deletions(-)

(limited to 'bin/dune')

diff --git a/bin/dune b/bin/dune
index 3031405..cfdd86a 100644
--- a/bin/dune
+++ b/bin/dune
@@ -14,15 +14,3 @@
   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