Add manual and update the garlic tool

2020-11-05 19:31:21 +01:00
parent de6b4864ee
commit 476c2f20f0
2 changed files with 35 additions and 38 deletions
--- a/garlic/sh/default.nix
+++ b/garlic/sh/default.nix
@@ -31,5 +31,7 @@ in
      mkdir -p $out/bin
      cp garlic $out/bin
      chmod +x $out/bin/garlic
+      mkdir -p $out/share/man/man1
+      cp garlic.1 $out/share/man/man1
    '';
  }