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

Bug 397671

Summary: media-sound/vmpk add USE=doc
Product: Gentoo Linux Reporter: Cedric Sodhi <manday>
Component: Current packagesAssignee: Professional Audio Applications Maintainers <proaudio>
Status: RESOLVED WONTFIX    
Severity: enhancement CC: jstein
Priority: Normal    
Version: unspecified   
Hardware: All   
OS: Linux   
Whiteboard:
Package list:
Runtime testing required: ---

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.