Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 634134 - media-video/mplayer-1.3.0-r3 installs /usr/share/doc/mplayer-1.3.0-r3/TOOLS/TOOLS
Summary: media-video/mplayer-1.3.0-r3 installs /usr/share/doc/mplayer-1.3.0-r3/TOOLS/T...
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All All
: Normal trivial
Assignee: Gentoo Media-video project
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2017-10-12 21:45 UTC by Arfrever Frehtes Taifersar Arahesis
Modified: 2018-03-08 19:33 UTC (History)
0 users

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


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Arfrever Frehtes Taifersar Arahesis 2017-10-12 21:45:09 UTC
media-video/mplayer-1.3.0-r3 installs /usr/share/doc/mplayer-1.3.0-r3/TOOLS which directly contains only TOOLS directory.
This seems like a mistake in the way of calling docinto and dodoc in ebuild.

'dodoc -r TOOLS' could be changed to 'dodoc -r TOOLS/*' so that /usr/share/doc/mplayer-1.3.0-r3/TOOLS/TOOLS/* become /usr/share/doc/mplayer-1.3.0-r3/TOOLS/*.
Comment 1 Larry the Git Cow gentoo-dev 2018-03-08 19:33:03 UTC
The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=af80f4c2b54911bd39eb9f49e9c1834d08f5d55b

commit af80f4c2b54911bd39eb9f49e9c1834d08f5d55b
Author:     Arfrever Frehtes Taifersar Arahesis <Arfrever@Apache.Org>
AuthorDate: 2018-03-08 18:59:29 +0000
Commit:     Mike Gilbert <floppym@gentoo.org>
CommitDate: 2018-03-08 19:32:50 +0000

    media-video/mplayer: Improve installation of documentation.
    
    Closes: https://bugs.gentoo.org/634134

 media-video/mplayer/mplayer-1.3.0-r4.ebuild | 2 +-
 media-video/mplayer/mplayer-9999.ebuild     | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)