diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2022-12-11 18:56:59 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2022-12-11 22:08:35 +0000 |
commit | 662ff7a2882c98b04ad373af4c1ceec47d78fa03 (patch) | |
tree | c39f2d715af9e1ccfdfaacc518828b3c8e086753 /dgit.1 | |
parent | 90a57476a95af4835d346bad29ebcf232789eecd (diff) |
dgit(1): synopsis: Advertise push-source, not push
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit.1')
-rw-r--r-- | dgit.1 | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -21,7 +21,7 @@ dgit \- git integration with the Debian archive [\fIdebbuildopts\fP] .br .B dgit -[\fIdgit\-opts\fP] \fBpush\fP|\fBpush-source\fP [\fIdgit\-opts\fP] +[\fIdgit\-opts\fP] \fBpush\fP|\fBpush-built\fP [\fIdgit\-opts\fP] [\fIsuite\fP] .br .B dgit |