aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Voss <mail@thomasvoss.com> 2024-01-13 00:23:50 +0100
committerThomas Voss <mail@thomasvoss.com> 2024-01-13 00:23:50 +0100
commit752f63fe5401ddd2b20fb70594f53439797cc4e3 (patch)
tree0207aaf3f3addc5af9c014aad0cdcb2d274aeae2
parentf71f4cb6adec4c4163bdb0effe42f584057e03c1 (diff)
Add the git-grab.1 manual
-rw-r--r--git-grab.11
-rw-r--r--make.c2
2 files changed, 2 insertions, 1 deletions
diff --git a/git-grab.1 b/git-grab.1
new file mode 100644
index 0000000..64c35cc
--- /dev/null
+++ b/git-grab.1
@@ -0,0 +1 @@
+.so grab.1
diff --git a/make.c b/make.c
index 959a67f..d744ad7 100644
--- a/make.c
+++ b/make.c
@@ -72,7 +72,7 @@ main(int argc, char **argv)
cmdprc(c);
cmdadd(&c, "cp", "grab", "git-grab", bin);
cmdprc(c);
- cmdadd(&c, "cp", "grab.1", man);
+ cmdadd(&c, "cp", "grab.1", "git-grab.1", man);
cmdprc(c);
}
} else {