[plt-scheme] gentoo package

From: Martin DeMello (martindemello at gmail.com)
Date: Thu Apr 17 14:15:55 EDT 2008

On Fri, Apr 11, 2008 at 3:32 PM, Martin DeMello <martindemello at gmail.com> wrote:
> On Fri, Apr 11, 2008 at 3:23 PM, Henk Boom <lunarc.lists at gmail.com> wrote:
>  >
>  >  It's probably a good idea to file a bug there in any case, so that
>  >  when someone comes up with a patch it has somewhere to go.
>
>  Done. http://bugs.gentoo.org/show_bug.cgi?id=217335

More on this:

I did a source install to see if I could figure out which step
installed the docs, and I found this in src/README:

4. [Optional] Run `help-desk' to install missing documentation.

    The source distribution (or Subversion-based source) includes only
    the release notes, and not the rest of the core documentation.
    Run the newly installed `help-desk' and follow the "Manuals" link
    to install the rest of the documentation. For a Subversion-based
    build, the "Manuals" page includes a link to update previously
    installed documentation.

Since gentoo works directly with the sources, there is no way for it
to do this at install time. Is there any way to automate this, so it
can be added to the ebuild as a use flag?

martin


Posted on the users mailing list.