| Summary: | dev-util/difffilter should install its man page | ||
|---|---|---|---|
| Product: | Gentoo Linux | Reporter: | Jeroen Roovers (RETIRED) <jer> |
| Component: | [OLD] Development | Assignee: | 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)
2016-03-23 07:20:54 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(+) |