Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 295112 - dev-lang/mlton: documentation installed outside /usr/share/doc/${PF}
Summary: dev-lang/mlton: documentation installed outside /usr/share/doc/${PF}
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: All Linux
: High minor (vote)
Assignee: Gentoo Team for the ML programming language family
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2009-11-29 21:49 UTC by Diego Elio Pettenò (RETIRED)
Modified: 2018-03-10 23:44 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 Diego Elio Pettenò (RETIRED) gentoo-dev 2009-11-29 21:49:09 UTC
You're getting this bug because the package in summary installs its documentation (or at least part of it) outside the usual /usr/share/doc/${PF} directory.

First, please keep in mind that this bug might not be noticeable for -r0 ebuilds, but it might be for -r1 and later, since if the ebuild has same name and version of the package, for -r0 it might correspond properly.

To fix this, if the package uses autotools, recent version (autoconf 2.61+) have two ./configure switches: --docdir and --htmldir to decide where to put the documentation. Older versions might require you override docdir/htmldir or other custom variables during make install.

For non-autotooled build systems, good luck, since I cannot tell you how to achieve the proper results, the same holds true with totally broken buildsystems even when based on autotools.

Thanks,
Diego
Comment 1 Larry the Git Cow gentoo-dev 2018-03-10 23:44:24 UTC
The bug has been closed via the following commit(s):

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

commit 41d92750d0948ebb53e6d0559ac7d1b378fecc9a
Author:     Mark Wright <gienah@gentoo.org>
AuthorDate: 2018-03-10 23:43:42 +0000
Commit:     Mark Wright <gienah@gentoo.org>
CommitDate: 2018-03-10 23:43:42 +0000

    dev-lang/mlton: Bump to 20180207, fix 295112 and 581128.
    
    Fix 295112, thanks to flameeyes for reporting.  Fix 581128, thanks to
    Toralf Forster for reporting.
    
    Closes: https://bugs.gentoo.org/295112
    Closes: https://bugs.gentoo.org/581128
    Package-Manager: Portage-2.3.24, Repoman-2.3.6

 dev-lang/mlton/Manifest                            |   2 +
 .../mlton/files/mlton-20180207-bootstrap.patch     |  27 +++
 dev-lang/mlton/files/mlton-20180207-paxmark.patch  |  18 ++
 dev-lang/mlton/metadata.xml                        |   9 +-
 dev-lang/mlton/mlton-20130715.ebuild               |   6 +-
 dev-lang/mlton/mlton-20180207.ebuild               | 264 +++++++++++++++++++++
 6 files changed, 322 insertions(+), 4 deletions(-)