aboutsummaryrefslogtreecommitdiff
path: root/bin/dune
diff options
context:
space:
mode:
authorMarc Coquand <marc@mccd.space>2024-05-17 12:04:27 -0500
committerMarc Coquand <marc@mccd.space>2024-05-17 12:04:27 -0500
commit9fc8906793bc9c7926ba9d928c039d4cc94aa03a (patch)
tree0e0679560056257da1fd483f2708946d9a321749 /bin/dune
parent8dbf8014991bd7456dfa09b85f07c04086d70459 (diff)
downloadstitch-9fc8906793bc9c7926ba9d928c039d4cc94aa03a.tar.gz
stitch-9fc8906793bc9c7926ba9d928c039d4cc94aa03a.tar.bz2
stitch-9fc8906793bc9c7926ba9d928c039d4cc94aa03a.zip
temp remove
Diffstat (limited to '')
-rw-r--r--bin/dune12
1 files changed, 0 insertions, 12 deletions
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)
-)