stuff

1 files changed, 16 insertions, 0 deletions

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)
+)