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

Bug 295112

Summary: dev-lang/mlton: documentation installed outside /usr/share/doc/${PF}
Product: Gentoo Linux Reporter: Diego Elio Pettenò (RETIRED) <flameeyes>
Component: New packagesAssignee: Gentoo Team for the ML programming language family <ml>
Status: RESOLVED FIXED    
Severity: minor    
Priority: High    
Version: unspecified   
Hardware: All   
OS: Linux   
Whiteboard:
Package list:
Runtime testing required: ---

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(-)