diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2022-09-04 11:27:06 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2022-09-04 12:36:11 +0100 |
commit | d6ce5696754c895926e122ed9b4690703dcdb78a (patch) | |
tree | f5d491efbfdca4bfe1d2aac3ebdd60cd3d8da375 /dgit-maint-native.7.pod | |
parent | 2df2d6795e7ef7f34fb9a52236ecc9e8d40145fa (diff) |
docs: Update for changes to dgit push-*, and recommend push-source
In command line runes and examples, generally change to
"dgit push-source".
In running text whwere we talk about "push or push-source", change to
"push-built or push-source".
In running text where we talk loosely about "push", leave it that way.
Closes: #992606
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit-maint-native.7.pod')
-rw-r--r-- | dgit-maint-native.7.pod | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/dgit-maint-native.7.pod b/dgit-maint-native.7.pod index 792be10..4e8b795 100644 --- a/dgit-maint-native.7.pod +++ b/dgit-maint-native.7.pod @@ -58,8 +58,7 @@ Simply prepare your git tree in the usual way, and then: =over 4 - % dgit -wgf sbuild -A -c sid - % dgit -wgf --overwrite push + % dgit -wgf --overwrite push-source =back @@ -94,7 +93,7 @@ your git history. =over 4 - % dgit -wgf push + % dgit -wgf push-source =back |