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 | 8b27cedc3f0dbb36138ff4bd4ffc239b052fce6b (patch) | |
tree | 5b54fdef680432859038e475d6f08679ca1f950e /media-sound/pd | |
parent | Allow kdemultimedia being a dependency as well as kmid. Thanks to Dave for re... (diff) | |
download | historical-8b27cedc3f0dbb36138ff4bd4ffc239b052fce6b.tar.gz historical-8b27cedc3f0dbb36138ff4bd4ffc239b052fce6b.tar.bz2 historical-8b27cedc3f0dbb36138ff4bd4ffc239b052fce6b.zip |
Install man pages in the right directory. Thanks to James for reporting in bug #115155.
Package-Manager: portage-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 |