chiark / gitweb /
dgit-maint-debrebase(7): be consistent about referring to the tool
[dgit.git] / dgit-maint-debrebase.7.pod
index ec58507e6d6e8386d0c69f074a6d7d617d15b512..3c6e2fd00a84d399c4c1fd2a1a9a156a9ce4164d 100644 (file)
@@ -262,7 +262,7 @@ The first dgit push will require I<--overwrite>.
 
 =head1 GIT CONFIGURATION
 
-git-debrebase does not yet support using B<git merge> to merge
+git-debrebase(1) does not yet support using B<git merge> to merge
 divergent branches of development (see "OTHER MERGES" in
 git-debrebase(5)).  You should configure git such that B<git pull>
 does not try to merge: