Make readonly vs push configurable

[dgit.git] / dgit.1

diff --git a/dgit.1 b/dgit.1
index 698bf2fdd0369cc8ef8bd91e069e52cb519b3248..dd083ac5eb2e84a70f5c775f30c887aff6d58ef4 100644 (file)
--- a/dgit.1
+++ b/dgit.1
@@ -278,6 +278,10 @@ This is like
 but it also removes any subdirectories containing different git
 trees (which only unusual packages are likely to create).
 .TP
+.BR --clean=check " | " -wn
+Merely check that the tree is clean (does not contain uncommitted
+files), before building a source package.
+.TP
 .BR --clean=none " | " -wn
 Do not clean the tree before building a source package.  If there are
 files which are not in git, or if the build creates such files, a
@@ -593,6 +597,14 @@ on the dgit command line.
 .TP
 .BI dgit.default.distro
 .TP
+.BR dgit-distro. \fIdistro\fR .readonly " " auto | true | false
+.TP
+.BR dgit-distro. \fIdistro\fR /push. *
+If set, overrides corresponding non \fB/push\fR config when
+.BR readonly=false ,
+or when pushing and
+.BR readonly=auto .
+.TP
 .BI dgit-distro. distro .username
 .TP
 .BI dgit-distro. distro .git-url