Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 167790

Summary: sys-devel/dev86-0.16.17-r4 places 'man' pages in non-standard location
Product: Gentoo Linux Reporter: Andy Romeril <aromeril>
Component: New packagesAssignee: No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it <maintainer-needed>
Status: RESOLVED FIXED    
Severity: minor CC: askwar, beu, treecleaner, yvasilev
Priority: High    
Version: 2006.0   
Hardware: x86   
OS: Linux   
Whiteboard:
Package list:
Runtime testing required: ---

Description Andy Romeril 2007-02-20 20:25:35 UTC
The package sys-devl/dev86-0.16.17-r3 installs its man pages in /usr/man rather than /usr/share/man as most other packages do.

Reproducible: Always
Comment 1 Ihar Hrachyshka 2007-07-01 20:30:18 UTC
The same for its include dirs. Maybe other paths too.
Comment 2 Alexander Skwar 2007-10-18 08:16:56 UTC
Any idea about when this might get fixed?
Comment 3 Charlie Shepherd (RETIRED) gentoo-dev 2007-11-04 14:09:40 UTC
Fixed, thanks.
Comment 4 Yuri Vasilevski (RETIRED) gentoo-dev 2008-02-20 01:05:53 UTC
(In reply to comment #3)
> Fixed, thanks.

No it is not, sorry.

Now it (sys-devel/dev86-0.16.17-r4) installs man pages to /usr/share and not /usr/share/man

$ qlist sys-devel/dev86 | grep /usr/share
/usr/share/man1/dis86.1
/usr/share/man1/bcc.1
/usr/share/man1/elksemu.1
/usr/share/man1/elks.1
Comment 5 Raúl Porcel (RETIRED) gentoo-dev 2008-02-26 18:20:36 UTC
Fixed in -r5