Bug#905938: git-rebase(1) has wrong filename for revert-a-faulty-merge.html

2018-08-14 Thread Ben Hutchings
Control: severity -1 minor Control: retitle -1 Files in git-doc may not be findable by apt-file search On Mon, 2018-08-13 at 19:27 -0700, Jonathan Nieder wrote: > tags 905938 + moreinfo > quit > > Hi Ben, > > Ben Hutchings wrote: > > > git-rebase(1) refers to > >

Bug#905938: git-rebase(1) has wrong filename for revert-a-faulty-merge.html

2018-08-13 Thread Jonathan Nieder
tags 905938 + moreinfo quit Hi Ben, Ben Hutchings wrote: > git-rebase(1) refers to > /usr/share/doc/git/html/howto/revert-a-faulty-merge.html, but this > filename does not exist in any package. git-doc contains > /usr/share/doc/git-doc/howto/revert-a-faulty-merge.html which is > presumably the

Bug#905938: git-rebase(1) has wrong filename for revert-a-faulty-merge.html

2018-08-11 Thread Ben Hutchings
Package: git-man Version: 1:2.18.0-1 Severity: normal git-rebase(1) refers to /usr/share/doc/git/html/howto/revert-a-faulty-merge.html, but this filename does not exist in any package. git-doc contains /usr/share/doc/git-doc/howto/revert-a-faulty-merge.html which is presumably the right file to