Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 292616 - dev-lang/mlton - man pages installed to incorrect location
Summary: dev-lang/mlton - man pages installed to incorrect location
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: All Linux
: High normal (vote)
Assignee: Gentoo Team for the ML programming language family
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2009-11-10 00:41 UTC by Heath Caldwell (RETIRED)
Modified: 2009-11-10 16:43 UTC (History)
0 users

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

Attachments
ebuild patch (mlton-20070826.ebuild-manpages-location-fix.patch,903 bytes, patch)
2009-11-10 00:42 UTC, Heath Caldwell (RETIRED) 		Details | Diff
View All 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 Heath Caldwell (RETIRED) gentoo-dev 2009-11-10 00:41:33 UTC 
dev-lang/mlton incorrectly installs its man pages to /usr/man.  They should be installed to /usr/share/man.
Comment 1 Heath Caldwell (RETIRED) gentoo-dev 2009-11-10 00:42:46 UTC 
Created attachment 209785 [details, diff]
ebuild patch

ebuild patch to fix it.
Comment 2 Alexis Ballier gentoo-dev 2009-11-10 07:36:42 UTC 
feel free to fix it; i'm really doing only ocaml as I have no clue about other ml implementations :/
Comment 3 Heath Caldwell (RETIRED) gentoo-dev 2009-11-10 16:43:12 UTC 
Ok, thanks.  Fixed.