git-wad

commit 728fdeb511ffa931e4938bbadd741ffe40a92128
parent 25390856fab8135a7ae3d7bb7e87f3348eb149f7
Author: Vincent Forest <vincent.forest@meso-star.com>
Date:   Wed,  1 May 2024 18:44:16 +0200

Correction of examples in man pages

Two commands listed were incorrect. The wad argument was missing

Diffstat:
M
git-wad.1
 | 
5
+++--

1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/git-wad.1 b/git-wad.1
@@ -265,12 +265,13 @@ git wad pull
 Make space on disk by deleting the contents of WAD files that are not
 referenced by HEAD:
 .Bd -literal -offset Ds
-git prune -1
+git wad prune -1
 .Ed
 .Pp
 Transfer all locally stored WAD files to another remote repository:
 .Bd -literal -offset Ds
-GIT_WAD_REMOTE_PUSH="user@another_remote:repo_wad" git push -a
+GIT_WAD_REMOTE_PUSH="user@another_remote:repo_wad" \e
+git wad push -a
 .Ed
 .Sh SEE ALSO
 .Xr git 1 ,