Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 561098 - dev-lang/erlang installs man pages in /usr/lib64/erlang/man
Summary: dev-lang/erlang installs man pages in /usr/lib64/erlang/man
Status: RESOLVED UPSTREAM
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal QA (vote)
Assignee: No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2015-09-22 05:39 UTC by Jeroen Roovers (RETIRED)
Modified: 2024-01-23 06:11 UTC (History)
0 users

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

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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