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

Bug 561098

Summary: dev-lang/erlang installs man pages in /usr/lib64/erlang/man
Product: Gentoo Linux Reporter: Jeroen Roovers (RETIRED) <jer>
Component: Current 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 UPSTREAM    
Severity: QA    
Priority: Normal    
Version: unspecified   
Hardware: All   
OS: Linux   
See Also: https://bugs.gentoo.org/show_bug.cgi?id=189639
https://bugs.gentoo.org/show_bug.cgi?id=922743
Whiteboard:
Package list:
Runtime testing required: ---

Description Jeroen Roovers (RETIRED) gentoo-dev 2015-09-22 05:39:32 UTC
# find /usr/lib64/erlang/man/ | wc -l
649
Comment 1 Dirkjan Ochtman (RETIRED) gentoo-dev 2016-04-13 17:11:36 UTC
See bug 189639. Do you disagree with the reasoning there?
Comment 2 Jeroen Roovers (RETIRED) gentoo-dev 2016-04-14 12:14:05 UTC
Ah, that's quite unconventional. Would a symlink solution work here? If so, from where to where?
Comment 3 Dirkjan Ochtman (RETIRED) gentoo-dev 2016-04-26 18:56:44 UTC
I don't think that will work. Also, if you read the other bug, I think the point is that this is not how the Erlang man pages are intended. They really are supposed to be an entirely different documentation system, only incidentally using the same format (man).
Comment 4 Dirkjan Ochtman (RETIRED) gentoo-dev 2017-07-18 08:12:08 UTC
I will not be maintaining erlang anymore, sorry. If you can contribute, please work with the proxy maintenance team.
Comment 5 Pacho Ramos gentoo-dev 2017-07-18 10:51:22 UTC
I also see other distributions providing man pages there and not moving to the usual location. This looks to me like an upstream issue