Package: git-core Version: 1:1.6.6-1 Severity: minor Tags: patch Hi,
The git man pages have $HOME from the buildds built into their references sections. For example, the following is from git(1): | NOTES | 1. Everyday Git | file:///home/buildd/share/doc/git-doc/everyday.html | | 2. Git User’s Manual | file:///home/buildd/share/doc/git-doc/user-manual.html Here is a pair of patches to fix it. Regards, Jonathan Nieder (2): debian/rules: new DOC_OPTS macro for doc makefile options debian/rules: fix references in man pages to point to /usr debian/changelog | 4 +++- debian/rules | 3 ++- 2 files changed, 5 insertions(+), 2 deletions(-) -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
