Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 397671 - media-sound/vmpk add USE=doc
Summary: media-sound/vmpk add USE=doc
Status: RESOLVED WONTFIX
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal enhancement (vote)
Assignee: Professional Audio Applications Maintainers
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2012-01-04 19:16 UTC by Cedric Sodhi
Modified: 2021-01-25 16:40 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Cedric Sodhi 2012-01-04 19:16:28 UTC
Would it be possible to add a doc USE flag to vmpk which controls whether manpages are installed and therefore allows to ignore the docbook dependency?

I'm not good at writing ebuilds but that should be easy enough for the maintainer:

if the doc USE-Flag is NOT set, then
sed -i /add_subdirectory (man)/d CMakeList.txt

Reproducible: Always
Comment 1 Jeroen Roovers (RETIRED) gentoo-dev 2012-01-05 02:47:42 UTC
Normally man pages are always installed. One way to prevent compiling them is to distributed pre-compiled files and unpack and install those, instead.
Comment 2 Andreas Sturmlechner gentoo-dev 2021-01-25 16:40:46 UTC
We always install manpages, and in this case they do not even cause additional deps.