projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 36296f1) | patch
dev-util/difffilter: Install man page
authorJeroen Roovers <jer@gentoo.org>
Sun, 4 Nov 2018 14:19:24 +0000 (15:19 +0100)
committerJeroen Roovers <jer@gentoo.org>
Sun, 4 Nov 2018 14:25:05 +0000 (15:25 +0100)
commit801371577000187016850e6930f7ace6112166ce
tree5bb397f41e4eea4e8574c3923e123e851b7e3302tree | snapshot
parent36296f18edbb517065c9b67609a2eac33bba90c8commit | diff
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 [new file with mode: 0644] blob
dev-util/difffilter/files/difffilter-0.3.3.man1 [new file with mode: 0644] blob
dev-util/difffilter/metadata.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.