X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=dgit.git;a=blobdiff_plain;f=dgit.7;h=d57cff72f59a3d9ab109b661670ebb8270bfbfc3;hp=f594093b36e041ed4bfbe93cf5d5b1a4d55c6b3b;hb=8dba4a073d1eddca7e15ad60d7d5c21d016e60fc;hpb=e917ad10a9459a78561be1576801fea4cb0ce082

diff --git a/dgit.7 b/dgit.7
index f594093b..d57cff72 100644
--- a/dgit.7
+++ b/dgit.7
@@ -32,8 +32,9 @@ normally the dgit-repos repo for the package will be accessible via
 the remote name `origin'.
 
 dgit push will also make signed tags called
-.BI debian/ version
-(a la DEP-14) and push them to dgit-repos.  These are used at the
+.BI archive/debian/ version
+(with version encoded a la DEP-14)
+and push them to dgit-repos.  These are used at the
 server to authenticate pushes.
 
 dgit push can operate on any commit which is a descendant of the