documentation style: there is no "the restricted command"

I see "ssh restricted command" as a feature.  There is no command
provided; alternatively one could argue that the user is to provide a
script, which they will configure as the restricted command, in which
case "to make writing the ssh restricted command
script|implementation" or something, but that seems wordy.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/dgit-downstream-dsc.7.pod b/dgit-downstream-dsc.7.pod
index 73c10cfc0bb7474672e0e66bf66484cfbd09e6ce..91d9023c2892f447cb97eb0e8ef1a9245eacfe96 100644 (file)
--- a/dgit-downstream-dsc.7.pod
+++ b/dgit-downstream-dsc.7.pod
@@ -312,7 +312,7 @@ Either don't do that, or set up B<dgit-repos-server>.
 When a user who can push runs dgit,
 dgit uses ssh to access the git server.
 
 When a user who can push runs dgit,
 dgit uses ssh to access the git server.
 

-To make the ssh restricted command easier,
+To make use of ssh restricted command easier,

 and for the benefit of dgit-repos-server,
 dgit's ssh commands
 each start with a parseable commentish rune.
 and for the benefit of dgit-repos-server,
 dgit's ssh commands
 each start with a parseable commentish rune.