summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2015-07-20 13:09:31 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2015-07-20 13:09:31 +0100
commit059cac1fae66b2ee45d215f855bf2962db43195b (patch)
treeee6aa85724624bd0746460895da4cbf0b8b93aab
parent742f49bbed09e5c08abf84f5a8b95821f302dfda (diff)
Document that up to -DDD (not just -DD) is meaningfully different.
-rw-r--r--debian/changelog1
-rw-r--r--dgit.12
2 files changed, 2 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog
index 79061e4..5838bfe 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -6,6 +6,7 @@ dgit (1.1) unstable; urgency=low
* Fix a manpage typo.
* Manpage said that --clean=check was -wn but that is --clean=none;
correctly document that --clean=check is actually -wc.
+ * Document that up to -DDD (not just -DD) is meaningfully different.
--
diff --git a/dgit.1 b/dgit.1
index ed83316..772a262 100644
--- a/dgit.1
+++ b/dgit.1
@@ -370,7 +370,7 @@ fixing up, dgit push will fail.
.TP
.BI -D
Prints debugging information to stderr. Repeating the option produces
-more output (currently, up to -DD is meaningfully different).
+more output (currently, up to -DDD is meaningfully different).
.TP
.BI -c name = value
Specifies a git configuration option. dgit itself is also controlled