Provide `dgit print-dgit-repos-server-source-url'.

[dgit.git] / dgit.1

diff --git a/dgit.1 b/dgit.1
index d0c24adde4b8af43403def2aa207da86e1e523e3..56be0dd4af4be0e0e9735b2dfaec5969e6dfac4f 100644 (file)
--- a/dgit.1
+++ b/dgit.1
@@ -314,6 +314,11 @@ Prints version information and exits.
 .BI "dgit clone-dgit-repos-server" " destdir"
 Tries to fetch a copy of the source code for the dgit-repos-server,
 as actually being used on the dgit git server, as a git tree.
+.TP
+.BI "dgit print-dgit-repos-server-source-url"
+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.
 .SH OPTIONS
 .TP
 .BR --dry-run " | " -n