Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 578048

Summary: dev-util/difffilter should install its man page
Product: Gentoo Linux Reporter: Jeroen Roovers (RETIRED) <jer>
Component: [OLD] DevelopmentAssignee: No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it <maintainer-needed>
Status: RESOLVED FIXED    
Severity: normal CC: treecleaner
Priority: Normal Keywords: PMASKED
Version: unspecified   
Hardware: All   
OS: Linux   
Whiteboard: Pending removal: 2018-12-04
Package list:
Runtime testing required: ---

Description Jeroen Roovers (RETIRED) gentoo-dev 2016-03-23 07:20:54 UTC
Oddly enough the website says there is a man page, and even has a copy, but the ebuild does not install one.
Comment 1 Larry the Git Cow gentoo-dev 2018-11-04 14:25:10 UTC
The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=801371577000187016850e6930f7ace6112166ce

commit 801371577000187016850e6930f7ace6112166ce
Author:     Jeroen Roovers <jer@gentoo.org>
AuthorDate: 2018-11-04 14:19:24 +0000
Commit:     Jeroen Roovers <jer@gentoo.org>
CommitDate: 2018-11-04 14:25:05 +0000

    dev-util/difffilter: Install man page
    
    Drop USE=doc as that should not be used for manuals
    Install a pre-"compiled" version of difffilter(1)
    
    Fixes: https://bugs.gentoo.org/578048
    Package-Manager: Portage-2.3.51, Repoman-2.3.12
    Signed-off-by: Jeroen Roovers <jer@gentoo.org>

 dev-util/difffilter/difffilter-0.3.3-r1.ebuild  |  26 ++++
 dev-util/difffilter/files/difffilter-0.3.3.man1 | 194 ++++++++++++++++++++++++
 dev-util/difffilter/metadata.xml                |   3 +
 3 files changed, 223 insertions(+)