From 8dbf8014991bd7456dfa09b85f07c04086d70459 Mon Sep 17 00:00:00 2001
From: Marc Coquand <marc@mccd.space>
Date: Fri, 17 May 2024 12:03:09 -0500
Subject: stuff

---
 bin/dune | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

(limited to 'bin')

diff --git a/bin/dune b/bin/dune
index 962b989..3031405 100644
--- a/bin/dune
+++ b/bin/dune
@@ -1,5 +1,7 @@
 (executable
  (public_name stitch)
+ (package stitch)
+ (flags (:standard -cclib -static -cclib -no-pie))
  (name main)
  (libraries
   stitch
@@ -10,3 +12,17 @@
   notty.unix
   shexp.process
   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