Summary: | media-sound/vmpk add USE=doc | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Cedric Sodhi <manday> |
Component: | Current packages | Assignee: | 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
Normally man pages are always installed. One way to prevent compiling them is to distributed pre-compiled files and unpack and install those, instead. We always install manpages, and in this case they do not even cause additional deps. |