diff options
author | Marc Coquand <marc@mccd.space> | 2024-05-17 12:04:27 -0500 |
---|---|---|
committer | Marc Coquand <marc@mccd.space> | 2024-05-17 12:04:27 -0500 |
commit | 9fc8906793bc9c7926ba9d928c039d4cc94aa03a (patch) | |
tree | 0e0679560056257da1fd483f2708946d9a321749 | |
parent | 8dbf8014991bd7456dfa09b85f07c04086d70459 (diff) | |
download | stitch-9fc8906793bc9c7926ba9d928c039d4cc94aa03a.tar.gz stitch-9fc8906793bc9c7926ba9d928c039d4cc94aa03a.tar.bz2 stitch-9fc8906793bc9c7926ba9d928c039d4cc94aa03a.zip |
temp remove
-rw-r--r-- | bin/dune | 12 |
1 files changed, 0 insertions, 12 deletions
@@ -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) -) |