diff options
| author |   Diego Elio Pettenò <flameeyes@gentoo.org> | 2006-10-02 07:02:04 +0000 |
|---|---|---|
| committer | Diego Elio Pettenò <flameeyes@gentoo.org> | 2006-10-02 07:02:04 +0000 |
| commit | 7afd9b37dc74ed84dadc71ca37e15d0a107bf677 (patch) | |
| tree | 1af38b5d7aece966bf3956d75689c91b91ec6428 /media-sound/pd | |
| parent | Allow kdemultimedia being a dependency as well as kmid. Thanks to Dave for re... (diff) | |
| download | gentoo-2-7afd9b37dc74ed84dadc71ca37e15d0a107bf677.tar.gz gentoo-2-7afd9b37dc74ed84dadc71ca37e15d0a107bf677.tar.bz2 gentoo-2-7afd9b37dc74ed84dadc71ca37e15d0a107bf677.zip | |
Install man pages in the right directory. Thanks to James for reporting in bug #115155.
(Portage version: 2.1.2_pre2-r1)
Diffstat (limited to 'media-sound/pd')
| -rw-r--r-- | media-sound/pd/ChangeLog | 7 | ||||
| -rw-r--r-- | media-sound/pd/pd-0.39_p1.ebuild | 4 |
2 files changed, 8 insertions, 3 deletions
diff --git a/media-sound/pd/ChangeLog b/media-sound/pd/ChangeLog index 3549c654fa76..2c4e185dc9b1 100644 --- a/media-sound/pd/ChangeLog +++ b/media-sound/pd/ChangeLog @@ -1,6 +1,11 @@ # ChangeLog for media-sound/pd # Copyright 2002-2006 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/media-sound/pd/ChangeLog,v 1.30 2006/09/03 22:03:29 tsunam Exp $ +# $Header: /var/cvsroot/gentoo-x86/media-sound/pd/ChangeLog,v 1.31 2006/10/02 07:02:04 flameeyes Exp $ + + 02 Oct 2006; Diego Pettenò <flameeyes@gentoo.org> -pd-0.37.4.ebuild, + pd-0.39_p1.ebuild: + Install man pages in the right directory. Thanks to James for reporting in + bug #115155. 03 Sep 2006; Joshua Jackson <tsunam@gentoo.org> pd-0.39_p1.ebuild: Also adding a patch from Jakub to fix prestriped files diff --git a/media-sound/pd/pd-0.39_p1.ebuild b/media-sound/pd/pd-0.39_p1.ebuild index 5baf8a3b094b..8d90d4f43e86 100644 --- a/media-sound/pd/pd-0.39_p1.ebuild +++ b/media-sound/pd/pd-0.39_p1.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2006 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/media-sound/pd/pd-0.39_p1.ebuild,v 1.4 2006/09/03 22:03:29 tsunam Exp $ +# $Header: /var/cvsroot/gentoo-x86/media-sound/pd/pd-0.39_p1.ebuild,v 1.5 2006/10/02 07:02:04 flameeyes Exp $ IUSE="alsa debug jack" @@ -49,7 +49,7 @@ src_compile() { } src_install() { - make DESTDIR="${D}" install || die "install failed" + make DESTDIR="${D}" MANINSTDIR="/usr/share/man" install || die "install failed" # tb: install private headers ... several external developers use them insinto /usr/include |