Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 144267 - media-sound/sox does not install play.1
Summary: media-sound/sox does not install play.1
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: High minor (vote)
Assignee: Gentoo Sound Team
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2006-08-17 18:01 UTC by Jeroen Roovers (RETIRED)
Modified: 2006-09-03 10:50 UTC (History)
0 users

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

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Jeroen Roovers (RETIRED) gentoo-dev 2006-08-17 18:01:27 UTC 
Somewhere along the line sox's build system started to omit installing the play man page. The portion of the configure/Makefile that would do this seems quirky, but the simple portage based hack goes like this:

--- sox-12.17.9.ebuild. 2006-08-18 02:56:38.000000000 +0200
+++ sox-12.17.9.ebuild  2006-08-18 02:51:31.000000000 +0200
@@ -50,7 +50,7 @@
 }

 src_install() {
-       make DESTDIR="${D}" install || die "make install failed"
+       make DESTDIR="${D}" install install-play || die "make install failed"
        prepallman

        dodoc Changelog README TODO *.txt
Comment 1 Jeroen Roovers (RETIRED) gentoo-dev 2006-09-03 10:50:09 UTC 
Fixed in CVS.