chiark / gitweb /
dgit-maint-merge(7): Include instructions to clone existing repo
[dgit.git] / dgit.1
diff --git a/dgit.1 b/dgit.1
index 2233d95941fa34f9ec4ac9e9a4a77c25f77cda34..b3b887f1c46165eb9f4f2b3b70b485168ba5a93d 100644 (file)
--- a/dgit.1
+++ b/dgit.1
@@ -343,6 +343,13 @@ as actually being used on the dgit git server, as a git tree.
 Prints the url used by dgit clone-dgit-repos-server.
 This is hopefully suitable for use as a git remote url.
 It may not be useable in a browser.
+.TP
+.BI "dgit print-dpkg-source-ignores"
+Prints the -i and -I arguments which must be passed to dpkg-souce
+to cause it to exclude exactly the .git diredcory
+and nothing else.
+The separate arguments are unquoted, separated by spaces,
+and do not contain spaces.
 .SH OPTIONS
 .TP
 .BR --dry-run " | " -n