Summary: | media-sound/muine: documentation installed outside /usr/share/doc/${PF} | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Diego Elio Pettenò (RETIRED) <flameeyes> |
Component: | New packages | Assignee: | dotnet project <dotnet> |
Status: | RESOLVED FIXED | ||
Severity: | minor | CC: | gstreamer |
Priority: | High | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- |
Description
Diego Elio Pettenò (RETIRED)
2009-11-30 11:22:35 UTC
+*muine-0.8.11-r1 (03 Jul 2010) + + 03 Jul 2010; Pacho Ramos <pacho@gentoo.org> -muine-0.8.10.ebuild, + -muine-0.8.11.ebuild, +muine-0.8.11-r1.ebuild, + +files/muine-0.8.11-drop-deprecated.patch, + +files/muine-0.8.11-multimedia-keys.patch: + Revision bump: fix dependencies (bug #292912 by gentoo_m), install docs in + proper place (bug #295173 by Diego E. 'Flameeyes' Pettenò), fix + multimedia key support broken since Gnome 2.22, replace deprecated gtk + functions letting this work with gtk+-2.20, fix missing icons and + intltoolize broken file, install gconf schemas properly. Remove old. |